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 1042)
+++ trunk/autoquest-core-events-test/src/test/java/de/ugoe/cs/autoquest/eventcore/guimodel/MockGUIElement.java	(revision 1051)
@@ -2,55 +2,65 @@
 
 public class MockGUIElement implements IGUIElement {
-	MockGUIElementSpec spec;
-	IGUIElement parent;
-	
-	public MockGUIElement() {
-		// TODO Auto-generated constructor
-	}
-	
-	public MockGUIElement(MockGUIElementSpec spec, IGUIElement parent){
-		this.spec = spec;
-		this.parent = parent;
-	}
+    
+    /**  */
+    private static final long serialVersionUID = 1L;
+    
+    MockGUIElementSpec spec;
+    
+    IGUIElement parent;
+    
+    public MockGUIElement() {
+        // TODO Auto-generated constructor
+    }
+    
+    public MockGUIElement(MockGUIElementSpec spec, IGUIElement parent){
+        this.spec = spec;
+        this.parent = parent;
+    }
 
-	@Override
-	public String getPlatform() {
-		// TODO Auto-generated method stub
-		return null;
-	}
+    @Override
+    public String getPlatform() {
+        // TODO Auto-generated method stub
+        return null;
+    }
 
-	@Override
-	public String getStringIdentifier() {
-		// TODO Auto-generated method stub
-		return null;
-	}
+    @Override
+    public String getStringIdentifier() {
+        // TODO Auto-generated method stub
+        return null;
+    }
 
-	@Override
-	public IGUIElementSpec getSpecification() {
-		return spec;
-	}
+    @Override
+    public IGUIElementSpec getSpecification() {
+        return spec;
+    }
 
-	@Override
-	public IGUIElement getParent() {
-		return parent;
-	}
+    @Override
+    public IGUIElement getParent() {
+        return parent;
+    }
 
-	@Override
-	public void updateSpecification(IGUIElementSpec furtherSpec) {
-		// TODO Auto-generated method stub
+    @Override
+    public void updateSpecification(IGUIElementSpec furtherSpec) {
+        // TODO Auto-generated method stub
 
-	}
+    }
 
-	@Override
-	public void addEqualGUIElement(IGUIElement equalElement) {
-		// TODO Auto-generated method stub
+    @Override
+    public void addEqualGUIElement(IGUIElement equalElement) {
+        // TODO Auto-generated method stub
 
-	}
+    }
 
-	@Override
-	public boolean getUsageObserved() {
-		// TODO Auto-generated method stub
-		return false;
-	}
+    @Override
+    public boolean isUsed() {
+        // TODO Auto-generated method stub
+        return false;
+    }
+
+    @Override
+    public void markUsed() {
+            // TODO Auto-generated method stub
+    }
 
 }