Index: /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcondenseHTMLGUIModel.java
===================================================================
--- /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcondenseHTMLGUIModel.java	(revision 1348)
+++ /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcondenseHTMLGUIModel.java	(revision 1349)
@@ -927,20 +927,4 @@
 
         /* (non-Javadoc)
-         * @see java.lang.Object#equals(java.lang.Object)
-         */
-        @Override
-        public boolean equals(Object obj) {
-            if (obj == this) {
-                return true;
-            }
-            else if (obj instanceof SimilarGUIElement) {
-                return (similarGUIElement.equals(((SimilarGUIElement) obj).similarGUIElement));
-            }
-            else {
-                return false;
-            }
-        }
-
-        /* (non-Javadoc)
          * @see java.lang.Object#toString()
          */