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