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