tree: 7740aa76becb7723e22a518592a90106967a8ba6
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs