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