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