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