tree: 53870010bf502d9811c92303aaf2eb89ac847a0e
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs