1 files changed, 34 insertions, 0 deletions

diff --git a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ReadOnlyAnnotationPreference.java b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ReadOnlyAnnotationPreference.java
index f55cd499c94..1e1ec97ccf9 100644
--- a/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ReadOnlyAnnotationPreference.java
+++ b/org.eclipse.ui.editors/src/org/eclipse/ui/texteditor/ReadOnlyAnnotationPreference.java
@@ -31,18 +31,21 @@ class ReadOnlyAnnotationPreference extends AnnotationPreference {
 
 	private boolean fIsReadOnly;
 
+	@Override
 	public void merge(AnnotationPreference preference) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.merge(preference);
 	}
 
+	@Override
 	public void setAnnotationImageProvider(IAnnotationImageProvider provider) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setAnnotationImageProvider(provider);
 	}
 
+	@Override
 	public void setAnnotationImageProviderData(IConfigurationElement configurationElement, String annotationImageProviderAttribute) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
@@ -50,186 +53,217 @@ class ReadOnlyAnnotationPreference extends AnnotationPreference {
 				annotationImageProviderAttribute);
 	}
 
+	@Override
 	public void setAnnotationType(Object annotationType) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setAnnotationType(annotationType);
 	}
 
+	@Override
 	public void setColorPreferenceKey(String colorKey) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setColorPreferenceKey(colorKey);
 	}
 
+	@Override
 	public void setColorPreferenceValue(RGB colorValue) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setColorPreferenceValue(colorValue);
 	}
 
+	@Override
 	public void setContributesToHeader(boolean contributesToHeader) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setContributesToHeader(contributesToHeader);
 	}
 
+	@Override
 	public void setHighlightPreferenceKey(String highlightKey) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setHighlightPreferenceKey(highlightKey);
 	}
 
+	@Override
 	public void setHighlightPreferenceValue(boolean highlightValue) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setHighlightPreferenceValue(highlightValue);
 	}
 
+	@Override
 	public void setImageDescriptor(ImageDescriptor descriptor) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setImageDescriptor(descriptor);
 	}
 
+	@Override
 	public void setIncludeOnPreferencePage(boolean includeOnPreferencePage) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setIncludeOnPreferencePage(includeOnPreferencePage);
 	}
 
+	@Override
 	public void setIsGoToNextNavigationTarget(boolean isGoToNextNavigationTarget) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setIsGoToNextNavigationTarget(isGoToNextNavigationTarget);
 	}
 
+	@Override
 	public void setIsGoToNextNavigationTargetKey(String isGoToNextNavigationTargetKey) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setIsGoToNextNavigationTargetKey(isGoToNextNavigationTargetKey);
 	}
 
+	@Override
 	public void setIsGoToPreviousNavigationTarget(boolean isGoToPreviousNavigationTarget) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setIsGoToPreviousNavigationTarget(isGoToPreviousNavigationTarget);
 	}
 
+	@Override
 	public void setIsGoToPreviousNavigationTargetKey(String isGoToPreviousNavigationTargetKey) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setIsGoToPreviousNavigationTargetKey(isGoToPreviousNavigationTargetKey);
 	}
 
+	@Override
 	public void setMarkerType(String markerType) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setMarkerType(markerType);
 	}
 
+	@Override
 	public void setOverviewRulerPreferenceKey(String overviewRulerKey) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setOverviewRulerPreferenceKey(overviewRulerKey);
 	}
 
+	@Override
 	public void setOverviewRulerPreferenceValue(boolean overviewRulerValue) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setOverviewRulerPreferenceValue(overviewRulerValue);
 	}
 
+	@Override
 	public void setPreferenceLabel(String label) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setPreferenceLabel(label);
 	}
 
+	@Override
 	public void setPresentationLayer(int presentationLayer) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setPresentationLayer(presentationLayer);
 	}
 
+	@Override
 	public void setQuickFixImageDescriptor(ImageDescriptor descriptor) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setQuickFixImageDescriptor(descriptor);
 	}
 
+	@Override
 	public void setSeverity(int severity) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setSeverity(severity);
 	}
 
+	@Override
 	public void setShowInNextPrevDropdownToolbarAction(boolean showInNextPrevDropdownToolbarAction) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setShowInNextPrevDropdownToolbarAction(showInNextPrevDropdownToolbarAction);
 	}
 
+	@Override
 	public void setShowInNextPrevDropdownToolbarActionKey(String showInNextPrevDropdownToolbarActionKey) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setShowInNextPrevDropdownToolbarActionKey(showInNextPrevDropdownToolbarActionKey);
 	}
 
+	@Override
 	public void setSymbolicImageName(String symbolicImageName) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setSymbolicImageName(symbolicImageName);
 	}
 
+	@Override
 	public void setTextPreferenceKey(String textKey) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setTextPreferenceKey(textKey);
 	}
 
+	@Override
 	public void setTextPreferenceValue(boolean textValue) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setTextPreferenceValue(textValue);
 	}
 
+	@Override
 	public void setTextStylePreferenceKey(String key) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setTextStylePreferenceKey(key);
 	}
 
+	@Override
 	public void setTextStyleValue(String value) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setTextStyleValue(value);
 	}
 
+	@Override
 	protected void setValue(Object attribute, boolean value) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setValue(attribute, value);
 	}
 
+	@Override
 	protected void setValue(Object attribute, int value) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setValue(attribute, value);
 	}
 
+	@Override
 	protected void setValue(Object attribute, Object value) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setValue(attribute, value);
 	}
 
+	@Override
 	public void setVerticalRulerPreferenceKey(String verticalRulerKey) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();
 		super.setVerticalRulerPreferenceKey(verticalRulerKey);
 	}
 
+	@Override
 	public void setVerticalRulerPreferenceValue(boolean verticalRulerValue) {
 		if (fIsReadOnly)
 			throw new UnsupportedOperationException();