tree: 93d7525fcd7ad8fa1c844484285b95f9519c3f78
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs