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