Index: /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLDocumentSpec.java
===================================================================
--- /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLDocumentSpec.java	(revision 2246)
+++ /trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLDocumentSpec.java	(revision 2247)
@@ -138,4 +138,13 @@
 
     /* (non-Javadoc)
+     * @see HTMLGUIElementSpec#hashCode()
+     */
+    @Override
+    public int hashCode() {
+        // implemented just to make the static code analysis happy 
+        return super.hashCode();
+    }
+
+    /* (non-Javadoc)
      * @see java.lang.Object#toString()
      */