tree: 24b16bbb10c93ff43fc45167b8ce2bbbf1f36e74
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs