tree: 5141c42b007cc5093a36c8e267b7a980ddf49374
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs