tree: 125281ead2b1ba573d0e9aa48c66ca395f498215
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs