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