tree: 248695522f103e44a24b664e1603dd309a00ba89
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs