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 2218)
+++ trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usability/CMDgetTaskModelCrossCoverage.java	(revision 2231)
@@ -1299,5 +1299,5 @@
             }
             
-            return null;
+            throw new IllegalStateException("action type must be one of shift, goto, and reduce");
         }
        
@@ -1608,8 +1608,4 @@
         @Override
         public boolean equals(Object obj) {
-            if (((Edge) obj).symbol == null) {
-                System.out.println("blöd");
-            }
-            
             if (this == obj) {
                 return true;