tree: 1e421f4e6da210bbcda27eff524b8cd143e19521
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs