Index: trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usability/CMDgetTaskModelCrossCoverage.java
===================================================================
--- trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usability/CMDgetTaskModelCrossCoverage.java	(revision 2233)
+++ trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usability/CMDgetTaskModelCrossCoverage.java	(revision 2251)
@@ -1431,4 +1431,12 @@
             return true;
         }
+
+        /* (non-Javadoc)
+         * @see java.lang.Object#hashCode()
+         */
+        @Override
+        public int hashCode() {
+            return leftHandSide.hashCode();
+        }
         
     }
@@ -1486,4 +1494,12 @@
                 (this.rule.equals(((ProductionRulePosition) obj).rule)) &&
                 (this.position == ((ProductionRulePosition) obj).position);
+        }
+
+        /* (non-Javadoc)
+         * @see java.lang.Object#hashCode()
+         */
+        @Override
+        public int hashCode() {
+            return this.rule.hashCode() + this.position;
         }
 
@@ -1616,4 +1632,12 @@
                     (((Edge) obj).symbol.equals(this.symbol));
             }
+        }
+
+        /* (non-Javadoc)
+         * @see java.lang.Object#hashCode()
+         */
+        @Override
+        public int hashCode() {
+            return this.symbol.hashCode();
         }
     }