tree: 5189c307b87ef255fde4a49b08fc1891c5be5ae3
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs