tree: 8cf8b113ff9529fe006ecc72f657205a392fbae4
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs