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