tree: 90b98824f7d4c59fc335a6108bc63919212242db
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs