tree: 10c837fc1e200232b94df25aa73e48c082771140
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs