tree: 8d36fa6658e41aa6620f56b0139dbc2d77de7106
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.launching.prefs