tree: 0744165e204e87f07a51dadf8cd814069dc178db
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs