tree: 4f42318c1ffec0e939e9123266ff6ee979f3db11
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs