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