Index: /trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeifc/TaskPath.java
===================================================================
--- /trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeifc/TaskPath.java	(revision 2238)
+++ /trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeifc/TaskPath.java	(revision 2239)
@@ -156,5 +156,5 @@
         else if (obj instanceof TaskPath) {
             TaskPath other = (TaskPath) obj;
-            if ((other != null) && (this.size() == other.size())) {
+            if (this.size() == other.size()) {
                 for (int i = 0; i < this.size(); i++) {
                     if (!this.get(i).equals(other.get(i))) {