1 files changed, 33 insertions, 0 deletions
diff --git a/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/OverlayPreferenceStore.java b/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/OverlayPreferenceStore.java
index afc30e194..8aa3a6f04 100644
--- a/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/OverlayPreferenceStore.java
+++ b/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/OverlayPreferenceStore.java
@@ -50,6 +50,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 		/*
 		 * @see IPropertyChangeListener#propertyChange(PropertyChangeEvent)
 		 */
+		@Override
 		public void propertyChange(PropertyChangeEvent event) {
 			OverlayKey key= findOverlayKey(event.getProperty());
 			if (key != null)
@@ -216,6 +217,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#addPropertyChangeListener(IPropertyChangeListener)
 	 */
+	@Override
 	public void addPropertyChangeListener(IPropertyChangeListener listener) {
 		fStore.addPropertyChangeListener(listener);
 	}
@@ -223,6 +225,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#removePropertyChangeListener(IPropertyChangeListener)
 	 */
+	@Override
 	public void removePropertyChangeListener(IPropertyChangeListener listener) {
 		fStore.removePropertyChangeListener(listener);
 	}
@@ -230,6 +233,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#firePropertyChangeEvent(String, Object, Object)
 	 */
+	@Override
 	public void firePropertyChangeEvent(String name, Object oldValue, Object newValue) {
 		fStore.firePropertyChangeEvent(name, oldValue, newValue);
 	}
@@ -237,6 +241,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#contains(String)
 	 */
+	@Override
 	public boolean contains(String name) {
 		return fStore.contains(name);
 	}
@@ -244,6 +249,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getBoolean(String)
 	 */
+	@Override
 	public boolean getBoolean(String name) {
 		return fStore.getBoolean(name);
 	}
@@ -251,6 +257,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getDefaultBoolean(String)
 	 */
+	@Override
 	public boolean getDefaultBoolean(String name) {
 		return fStore.getDefaultBoolean(name);
 	}
@@ -258,6 +265,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getDefaultDouble(String)
 	 */
+	@Override
 	public double getDefaultDouble(String name) {
 		return fStore.getDefaultDouble(name);
 	}
@@ -265,6 +273,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getDefaultFloat(String)
 	 */
+	@Override
 	public float getDefaultFloat(String name) {
 		return fStore.getDefaultFloat(name);
 	}
@@ -272,6 +281,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getDefaultInt(String)
 	 */
+	@Override
 	public int getDefaultInt(String name) {
 		return fStore.getDefaultInt(name);
 	}
@@ -279,6 +289,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getDefaultLong(String)
 	 */
+	@Override
 	public long getDefaultLong(String name) {
 		return fStore.getDefaultLong(name);
 	}
@@ -286,6 +297,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getDefaultString(String)
 	 */
+	@Override
 	public String getDefaultString(String name) {
 		return fStore.getDefaultString(name);
 	}
@@ -293,6 +305,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getDouble(String)
 	 */
+	@Override
 	public double getDouble(String name) {
 		return fStore.getDouble(name);
 	}
@@ -300,6 +313,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getFloat(String)
 	 */
+	@Override
 	public float getFloat(String name) {
 		return fStore.getFloat(name);
 	}
@@ -307,6 +321,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getInt(String)
 	 */
+	@Override
 	public int getInt(String name) {
 		return fStore.getInt(name);
 	}
@@ -314,6 +329,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getLong(String)
 	 */
+	@Override
 	public long getLong(String name) {
 		return fStore.getLong(name);
 	}
@@ -321,6 +337,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#getString(String)
 	 */
+	@Override
 	public String getString(String name) {
 		return fStore.getString(name);
 	}
@@ -328,6 +345,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#isDefault(String)
 	 */
+	@Override
 	public boolean isDefault(String name) {
 		return fStore.isDefault(name);
 	}
@@ -335,6 +353,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#needsSaving()
 	 */
+	@Override
 	public boolean needsSaving() {
 		return fStore.needsSaving();
 	}
@@ -342,6 +361,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#putValue(String, String)
 	 */
+	@Override
 	public void putValue(String name, String value) {
 		if (covers(name))
 			fStore.putValue(name, value);
@@ -350,6 +370,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setDefault(String, double)
 	 */
+	@Override
 	public void setDefault(String name, double value) {
 		if (covers(name))
 			fStore.setDefault(name, value);
@@ -358,6 +379,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setDefault(String, float)
 	 */
+	@Override
 	public void setDefault(String name, float value) {
 		if (covers(name))
 			fStore.setDefault(name, value);
@@ -366,6 +388,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setDefault(String, int)
 	 */
+	@Override
 	public void setDefault(String name, int value) {
 		if (covers(name))
 			fStore.setDefault(name, value);
@@ -374,6 +397,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setDefault(String, long)
 	 */
+	@Override
 	public void setDefault(String name, long value) {
 		if (covers(name))
 			fStore.setDefault(name, value);
@@ -382,6 +406,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setDefault(String, String)
 	 */
+	@Override
 	public void setDefault(String name, String value) {
 		if (covers(name))
 			fStore.setDefault(name, value);
@@ -390,6 +415,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setDefault(String, boolean)
 	 */
+	@Override
 	public void setDefault(String name, boolean value) {
 		if (covers(name))
 			fStore.setDefault(name, value);
@@ -398,6 +424,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setToDefault(String)
 	 */
+	@Override
 	public void setToDefault(String name) {
 		fStore.setToDefault(name);
 	}
@@ -405,6 +432,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setValue(String, double)
 	 */
+	@Override
 	public void setValue(String name, double value) {
 		if (covers(name))
 			fStore.setValue(name, value);
@@ -413,6 +441,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setValue(String, float)
 	 */
+	@Override
 	public void setValue(String name, float value) {
 		if (covers(name))
 			fStore.setValue(name, value);
@@ -421,6 +450,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setValue(String, int)
 	 */
+	@Override
 	public void setValue(String name, int value) {
 		if (covers(name))
 			fStore.setValue(name, value);
@@ -429,6 +459,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setValue(String, long)
 	 */
+	@Override
 	public void setValue(String name, long value) {
 		if (covers(name))
 			fStore.setValue(name, value);
@@ -437,6 +468,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setValue(String, String)
 	 */
+	@Override
 	public void setValue(String name, String value) {
 		if (covers(name))
 			fStore.setValue(name, value);
@@ -445,6 +477,7 @@ public class OverlayPreferenceStore  implements IPreferenceStore {
 	/*
 	 * @see IPreferenceStore#setValue(String, boolean)
 	 */
+	@Override
 	public void setValue(String name, boolean value) {
 		if (covers(name))
 			fStore.setValue(name, value);