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