Index: /trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/manager/TaskTreeManager.java
===================================================================
--- /trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/manager/TaskTreeManager.java	(revision 1396)
+++ /trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/manager/TaskTreeManager.java	(revision 1397)
@@ -138,5 +138,5 @@
      */
     public void finishSession() {
-        if ((currentSession != null) && (currentSession.getExecutedTasks().size() > 0)) {
+        if ((currentSession != null) && (currentSession.size() > 0)) {
             sessions.add(currentSession);
             currentSession = null;