Index: trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/CommandHelpers.java
===================================================================
--- trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/CommandHelpers.java	(revision 633)
+++ trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/CommandHelpers.java	(revision 639)
@@ -1,3 +1,5 @@
 package de.ugoe.cs.quest;
+
+import java.util.logging.Level;
 
 import de.ugoe.cs.util.console.Console;
@@ -50,5 +52,5 @@
 	 */
 	public static void dataOverwritten(String objectName) {
-		Console.traceln("Existing object " + objectName + " overwritten.");
+		Console.traceln(Level.INFO, "Existing object " + objectName + " overwritten.");
 	}
 }
Index: trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ReplayGenerator.java
===================================================================
--- trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ReplayGenerator.java	(revision 633)
+++ trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ReplayGenerator.java	(revision 639)
@@ -8,4 +8,5 @@
 import java.util.Collection;
 import java.util.List;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.IReplayDecorator;
@@ -137,8 +138,8 @@
             fileCreated = file.createNewFile();
             if (!fileCreated) {
-                Console.traceln("Created logfile " + filename);
+                Console.traceln(Level.INFO, "Created logfile " + filename);
             }
             else {
-                Console.traceln("Overwrote existing logfile " + filename);
+                Console.traceln(Level.INFO, "Overwrote existing logfile " + filename);
             }
         }
Index: trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateGreedy.java
===================================================================
--- trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateGreedy.java	(revision 633)
+++ trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateGreedy.java	(revision 639)
@@ -9,4 +9,5 @@
 import java.util.Map;
 import java.util.Set;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.CommandHelpers;
@@ -86,5 +87,5 @@
 			}
 		}
-		Console.traceln("" + allSequences.size() + " possible");
+		Console.traceln(Level.INFO, "" + allSequences.size() + " possible");
 
 		Collection<List<Event>> allSubSeqs = model
@@ -139,5 +140,5 @@
 			}
 			if (maxIndex < 0 || sequenceGain[maxIndex] <= 0.0 + eps) {
-				Console.traceln("No gain anymore! Desired coverage cannot be satisfied!");
+				Console.traceln(Level.WARNING, "No gain anymore! Desired coverage cannot be satisfied!");
 				break;
 			}
Index: trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDshowTimer.java
===================================================================
--- trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDshowTimer.java	(revision 633)
+++ trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDshowTimer.java	(revision 639)
@@ -3,4 +3,5 @@
 import java.security.InvalidParameterException;
 import java.util.List;
+import java.util.logging.Level;
 
 import de.ugoe.cs.quest.CommandHelpers;
@@ -45,5 +46,5 @@
 		long startTime = (Long) dataObject;
 		long currentTime = System.currentTimeMillis();
-		Console.traceln("" + (currentTime - startTime) + " milliseconds");
+		Console.traceln(Level.INFO, "" + (currentTime - startTime) + " milliseconds");
 	}