tree: 345d44eb8680681583512aa45f545b66b6b54c7b
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs