Index: /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElement.java
===================================================================
--- /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElement.java	(revision 988)
+++ /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLPageElement.java	(revision 989)
@@ -15,6 +15,4 @@
 package de.ugoe.cs.autoquest.plugin.html.guimodel;
 
-import de.ugoe.cs.autoquest.eventcore.guimodel.IFrame;
-
 /**
  * <p>
@@ -24,5 +22,5 @@
  * @author Patrick Harms
  */
-public class HTMLPageElement extends HTMLGUIElement implements IFrame {
+public class HTMLPageElement extends HTMLGUIElement {
 
     /**  */