tree: 3d7988d262034e304af2ef34002012a54e7341b5
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs