Index: trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/CommandHistoryDialog.java
===================================================================
--- trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/CommandHistoryDialog.java	(revision 633)
+++ trunk/quest-ui-swt/src/main/java/de/ugoe/cs/quest/ui/swt/CommandHistoryDialog.java	(revision 639)
@@ -10,4 +10,5 @@
 import java.io.OutputStreamWriter;
 import java.util.LinkedList;
+import java.util.logging.Level;
 
 import org.eclipse.swt.widgets.Dialog;
@@ -129,8 +130,8 @@
                         fileCreated = file.createNewFile();
                         if (!fileCreated) {
-                            Console.traceln("Created batchfile " + filename);
+                            Console.traceln(Level.INFO, "Created batchfile " + filename);
                         }
                         else {
-                            Console.traceln("Overwrote file " + filename);
+                            Console.traceln(Level.INFO, "Overwrote file " + filename);
                         }
                     }