tree: 26640dc0628ea6cc23c60afb5dcd876121bbae23
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs