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