tree: 1775272feb22dc08add74abc5f24d591e831fcee
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs