Index: /trunk/autoquest-ui-swt/src/main/java/de/ugoe/cs/autoquest/ui/swt/ShowTaskTreeDialog.java
===================================================================
--- /trunk/autoquest-ui-swt/src/main/java/de/ugoe/cs/autoquest/ui/swt/ShowTaskTreeDialog.java	(revision 1635)
+++ /trunk/autoquest-ui-swt/src/main/java/de/ugoe/cs/autoquest/ui/swt/ShowTaskTreeDialog.java	(revision 1636)
@@ -59,4 +59,5 @@
 import de.ugoe.cs.autoquest.tasktrees.treeifc.ITaskModel;
 import de.ugoe.cs.autoquest.tasktrees.treeifc.IUserSession;
+import de.ugoe.cs.autoquest.tasktrees.treeifc.TaskMetric;
 
 /**
@@ -460,9 +461,9 @@
             }
             
-            int taskCount = task.getInstances().size();
+            int taskValue = taskModel.getTaskInfo(task).getMeasureValue(TaskMetric.EVENT_COVERAGE);
             int start = 0;
             int end = toAdd.size();
             int center = 0;
-            int centerCount;
+            int centerValue;
             
             while (start != end) {
@@ -470,10 +471,12 @@
                 
                 if ((center != start) || (center != end)) {
-                    centerCount = toAdd.get(center).getInstances().size();
+                    //centerValue = toAdd.get(center).getInstances().size();
+                    centerValue = taskModel.getTaskInfo(toAdd.get(center)).getMeasureValue
+                        (TaskMetric.EVENT_COVERAGE);
                 
-                    if (centerCount > taskCount) {
+                    if (centerValue > taskValue) {
                         start = Math.max(center, start + 1);
                     }
-                    else if (centerCount < taskCount) {
+                    else if (centerValue < taskValue) {
                         end = Math.min(center, end - 1);
                     }