tree: 837d4007c49564f3ce65067cf878f00139e48191
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs