Index: trunk/autoquest-core-events-test/src/test/java/de/ugoe/cs/autoquest/eventcore/guimodel/MockGUIElement.java
===================================================================
--- trunk/autoquest-core-events-test/src/test/java/de/ugoe/cs/autoquest/eventcore/guimodel/MockGUIElement.java	(revision 1396)
+++ trunk/autoquest-core-events-test/src/test/java/de/ugoe/cs/autoquest/eventcore/guimodel/MockGUIElement.java	(revision 1433)
@@ -50,4 +50,9 @@
 
     @Override
+    public GUIModel getGUIModel() {
+        return null;
+    }
+
+    @Override
     public void updateSpecification(IGUIElementSpec furtherSpec) { }