tree: 84da51a45b191f4c75ac78c2541c26a70e22a192
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs