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 1050)
+++ /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
+    }
 
 }
Index: /trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/AbstractDefaultGUIElement.java
===================================================================
--- /trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/AbstractDefaultGUIElement.java	(revision 1050)
+++ /trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/AbstractDefaultGUIElement.java	(revision 1051)
@@ -115,4 +115,24 @@
      * (non-Javadoc)
      * 
+     * @see de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement#isUsed()
+     */
+    @Override
+    public boolean isUsed() {
+        return usageObserved;
+    }
+
+    /*
+     * (non-Javadoc)
+     * 
+     * @see de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement#markUsed()
+     */
+    @Override
+    public void markUsed() {
+        this.usageObserved = true;
+    }
+
+    /*
+     * (non-Javadoc)
+     * 
      * @see GUIElement#equals(GUIElement)
      */
@@ -137,18 +157,4 @@
     }
     
-	@Override
-	public boolean getUsageObserved() {
-		return usageObserved;
-	}
-	
-	/**
-	 * <p>
-	 * Marks a GUI element as used.
-	 * </p> 
-	 */
-	public void markAsUsed(){
-		this.usageObserved = true;
-	}
-
     /**
      * <p>
Index: /trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/IGUIElement.java
===================================================================
--- /trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/IGUIElement.java	(revision 1050)
+++ /trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/IGUIElement.java	(revision 1051)
@@ -26,13 +26,5 @@
  */
 public interface IGUIElement extends IEventTarget {
-	/**
-	 * <p>
-	 * Returns a boolean that indicates if GUIElement was used or not
-	 * during a session
-	 * </p>
-	 * @return
-	 */
-	public boolean getUsageObserved();
-
+    
     /**
      * <p>
@@ -52,4 +44,20 @@
      */
     public IGUIElement getParent();
+
+    /**
+     * <p>
+     * returns true, if a usage of this GUI element in a trace was observed
+     * </p>
+     *
+     * @return as described
+     */
+    public boolean isUsed();
+
+    /**
+     * <p>
+     * Marks a GUI element as used.
+     * </p>
+     */
+    public void markUsed();
 
     /**
Index: /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/NewHTMLLogParser.java
===================================================================
--- /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/NewHTMLLogParser.java	(revision 1050)
+++ /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/NewHTMLLogParser.java	(revision 1051)
@@ -1,2 +1,15 @@
+//   Copyright 2012 Georg-August-Universität Göttingen, Germany
+//
+//   Licensed under the Apache License, Version 2.0 (the "License");
+//   you may not use this file except in compliance with the License.
+//   You may obtain a copy of the License at
+//
+//       http://www.apache.org/licenses/LICENSE-2.0
+//
+//   Unless required by applicable law or agreed to in writing, software
+//   distributed under the License is distributed on an "AS IS" BASIS,
+//   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+//   See the License for the specific language governing permissions and
+//   limitations under the License.
 
 package de.ugoe.cs.autoquest.plugin.html;
@@ -222,4 +235,7 @@
     }
 
+    /* (non-Javadoc)
+     * @see org.xml.sax.helpers.DefaultHandler#startElement(java.lang.String, java.lang.String, java.lang.String, org.xml.sax.Attributes)
+     */
     @Override
     public void startElement(String uri, String localName, String qName, Attributes atts)
@@ -270,4 +286,7 @@
     }
 
+    /* (non-Javadoc)
+     * @see org.xml.sax.helpers.DefaultHandler#endElement(java.lang.String, java.lang.String, java.lang.String)
+     */
     @Override
     public void endElement(String uri, String localName, String qName) throws SAXException {
@@ -295,5 +314,5 @@
             event.setTimestamp(currentEventTimestamp);
             HTMLGUIElement currentEventTarget = (HTMLGUIElement) event.getTarget();
-            currentEventTarget.markAsUsed();
+            currentEventTarget.markUsed();
             currentSequence.add(event);
             
Index: /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCSimplifiedLogParser.java
===================================================================
--- /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCSimplifiedLogParser.java	(revision 1050)
+++ /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCSimplifiedLogParser.java	(revision 1051)
@@ -405,5 +405,5 @@
                 for (Event event : unhandledEvents) {
                     event.setTarget(guiElement);
-                    guiElement.markAsUsed();
+                    guiElement.markUsed();
                     currentSequence.add(event);
                 }
@@ -440,5 +440,5 @@
                     event.setTimestamp(currentEventTimestamp);
                     JFCGUIElement currentEventTarget = (JFCGUIElement) event.getTarget();
-                    currentEventTarget.markAsUsed();
+                    currentEventTarget.markUsed();
 
                     currentSequence.add(event);
Index: /trunk/autoquest-plugin-mfc/src/main/java/de/ugoe/cs/autoquest/plugin/mfc/MFCLogParser.java
===================================================================
--- /trunk/autoquest-plugin-mfc/src/main/java/de/ugoe/cs/autoquest/plugin/mfc/MFCLogParser.java	(revision 1050)
+++ /trunk/autoquest-plugin-mfc/src/main/java/de/ugoe/cs/autoquest/plugin/mfc/MFCLogParser.java	(revision 1051)
@@ -345,5 +345,5 @@
                     long hwnd = (Long) currentMessageParameters.get("window.hwnd");
                     MFCGUIElement target = (MFCGUIElement) guiElementTree.find(hwnd);
-                    target.markAsUsed();
+                    target.markUsed();
                     
                     WindowsMessage message = new WindowsMessage