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 1049)
+++ 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);