tree: e61e502c29c4f631f9f218690a2fcfb96b932db9
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs