tree: 5eaa4ea6e3947017bbeba86291511c886e7a2edd [search]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.prefs