Bug 53888 Mnemonic collision Text Editor -> Quick Diff
20040303 The Make Default and Restore Defaults button have the same mnemonic
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorPreferencePage.java
}
	private String[][] createAnnotationTypeListModel(MarkerAnnotationPreferences preferences) {
		ArrayList listModelItems= new ArrayList();
		SortedSet sortedPreferences= new TreeSet(new Comparator() {
			/*
			 * @see java.util.Comparator#compare(java.lang.Object, java.lang.Object)
			 */
			public int compare(Object o1, Object o2) {
				if (!(o2 instanceof AnnotationPreference))
					return -1;
				if (!(o1 instanceof AnnotationPreference))
					return 1;
				
				AnnotationPreference a1= (AnnotationPreference)o1;
				AnnotationPreference a2= (AnnotationPreference)o2;
				
				return Collator.getInstance().compare(a1.getPreferenceLabel(), a2.getPreferenceLabel());
				
			}
		});
		sortedPreferences.addAll(preferences.getAnnotationPreferences());
		Iterator e= sortedPreferences.iterator();
		while (e.hasNext()) {
			AnnotationPreference info= (AnnotationPreference) e.next();
			if (info.isIncludeOnPreferencePage())
				listModelItems.add(new String[] { info.getPreferenceLabel(), info.getColorPreferenceKey(), info.getTextPreferenceKey(), info.getOverviewRulerPreferenceKey(), info.getHighlightPreferenceKey(), info.getVerticalRulerPreferenceKey(), info.getTextStylePreferenceKey()});
		}
		String[][] items= new String[listModelItems.size()][];
		listModelItems.toArray(items);
		return items;