tree: 119ee7773cdf27bb15403b51afd0ddd5154cd7fc
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs