tree: 8b59b26d1d44526b941ef0d81d1a9c53de4da02f
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs