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