tree: 78841cb535565edfc9837320fac7189c48d74d9f
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs