tree: 15bccd8e1e7d0c496a6fbea379ae8d729cfbba35
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs