Index: trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/DrawFromAllSequencesGenerator.java
===================================================================
--- trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/DrawFromAllSequencesGenerator.java	(revision 559)
+++ trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/DrawFromAllSequencesGenerator.java	(revision 639)
@@ -11,4 +11,5 @@
 import java.util.Random;
 import java.util.Set;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.eventcore.Event;
@@ -140,5 +141,5 @@
             }
         }
-        Console.traceln("" + sequences.size() + " possible");
+        Console.traceln(Level.INFO, "" + sequences.size() + " possible");
         if (!generateAll && numSequences < sequences.size()) {
             List<Double> probabilities = new ArrayList<Double>(sequences.size());
Index: trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/HybridGenerator.java
===================================================================
--- trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/HybridGenerator.java	(revision 559)
+++ trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/HybridGenerator.java	(revision 639)
@@ -9,4 +9,5 @@
 import java.util.List;
 import java.util.Random;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.eventcore.Event;
@@ -110,5 +111,5 @@
             new ArrayList<List<Event>>(model.generateSequences(maxLengthAll + 1, true));
 
-        Console.traceln("" + seqsTmp.size() + " of length " + maxLengthAll + " possible");
+        Console.traceln(Level.INFO, "" + seqsTmp.size() + " of length " + maxLengthAll + " possible");
         List<Double> probabilities = new ArrayList<Double>(seqsTmp.size());
         double probSum = 0.0;