diff --git a/de.prob.units/src/de/prob/units/ConfSettor.java b/de.prob.units/src/de/prob/units/ConfSettor.java
index c41716ec92dc0a51f2a0a3f7a4501be3c6a1dde5..3bcde7c95009dad497285fa05433eb6105b670f5 100644
--- a/de.prob.units/src/de/prob/units/ConfSettor.java
+++ b/de.prob.units/src/de/prob/units/ConfSettor.java
@@ -21,6 +21,7 @@ public class ConfSettor implements IElementChangedListener {
 
 	private static final String CONFIG = Activator.PLUGIN_ID + ".mchBase";
 
+	@Override
 	public void elementChanged(ElementChangedEvent event) {
 
 		final IRodinElementDelta d = event.getDelta();