tree: 2222fcf0c833e014424abec8ccf87e0a3a95d54f
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs