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