tree: 42dd51084c5660bc453257287c31ab5f568f26ae
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs