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