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