tree: 78981f7312f04fb2158f4c9c644dda4c032837c5
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs