tree: 42254ab094cfec916cc41cadffcfc33a2fc2b754
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs