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