Bug 56543 [preferences] Switching to Java Editor preference page shows error for a short time
3.0 M8 Switching to Text Editor preference page shows error for a short time
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/JavaEditorPreferencePage.java
}
			
			/**
			 * {@inheritdoc}
			 */
			public void widgetSelected(SelectionEvent e) {
				int i= fAnnotationList.getSelectionIndex();
				String key= fAnnotationColorListModel[i][6];
				if (key != null) {
					for (int j= 0; j < fAnnotationDecorationListModel.length; j++) {
						if (fAnnotationDecorationListModel[j][0].equals(fDecorationStyleCombo.getText())) {
							fOverlayStore.setValue(key, fAnnotationDecorationListModel[j][1]);
							break;
						}
					}
				}
			}
		});
		
		return composite;
	}
	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))