tree: 03c710f042983fe8efb42326b404f747e2837d6d
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs