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