diff --git a/org.fortiss.tooling.kernel/trunk/src/org/fortiss/tooling/kernel/extension/IConstraintVerifier.java b/org.fortiss.tooling.kernel/trunk/src/org/fortiss/tooling/kernel/extension/IConstraintVerifier.java
index a9173409e2c1cd26df3048703f94851ab0782e0a..3f92398da295d87c26e7b698254d5967db94f385 100644
--- a/org.fortiss.tooling.kernel/trunk/src/org/fortiss/tooling/kernel/extension/IConstraintVerifier.java
+++ b/org.fortiss.tooling.kernel/trunk/src/org/fortiss/tooling/kernel/extension/IConstraintVerifier.java
@@ -20,11 +20,10 @@ package org.fortiss.tooling.kernel.extension;
 import java.util.List;
 
 import org.eclipse.emf.ecore.EObject;
-import org.fortiss.tooling.kernel.model.constraints.IConstraint;
+import org.fortiss.tooling.kernel.model.constraints.Constraint;
 import org.fortiss.tooling.kernel.model.constraints.IConstraintVerificationStatus;
 import org.fortiss.tooling.kernel.service.IConstraintVerificationService;
 import org.fortiss.tooling.kernel.service.IConstraintVerificationService.IFix;
-import org.fortiss.tooling.kernel.service.base.IEObjectAware;
 
 /**
  * Interface for constraint verifiers used by {@link IConstraintVerificationService}.
@@ -32,11 +31,18 @@ import org.fortiss.tooling.kernel.service.base.IEObjectAware;
  * @author aravantinos
  * @author $Author$
  * @version $Rev$
- * @ConQAT.Rating YELLOW Hash: DFB6916E77403642EA76763DB660543A
+ * @ConQAT.Rating YELLOW Hash: 98834BA99C412D6510C7C437C2047256
  */
-public interface IConstraintVerifier<T extends IConstraint> extends IEObjectAware<T> {
+public interface IConstraintVerifier {
+
+	/**
+	 * Returns the unique identifier of this constraint. Should match the corresponding
+	 * IConstraintVerifierUI!
+	 */
+	String getID();
+
 	/** Verify the given constraint. */
-	void verify(T constraint);
+	void verify(Constraint constraint);
 
 	/**
 	 * @param obj
@@ -49,5 +55,11 @@ public interface IConstraintVerifier<T extends IConstraint> extends IEObjectAwar
 	 * Returns a list of possible automatic fixes for the given constraint. A constraint should be
 	 * candidate to fixing if it is anything but successful or outdated.
 	 */
-	List<IFix> fixes(T constraint, IConstraintVerificationStatus status);
+	List<IFix> fixes(Constraint constraint, IConstraintVerificationStatus status);
+
+	/**
+	 * @param constraint
+	 *            Cancels the last verification of <code>constraint</code>.
+	 */
+	void cancel(Constraint constraint);
 }