tree: bc57f235d942719ef85c3e55d89d439ef83d95f7
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs