Index: trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java
===================================================================
--- trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java	(revision 992)
+++ trunk/autoquest-htmlmonitor/src/main/java/de/ugoe/cs/autoquest/htmlmonitor/HtmlMonitorOutputWriter.java	(revision 997)
@@ -271,7 +271,11 @@
      */
     private void dumpString(String str) {
+        String value = str;
+        value = value.replaceAll("\\\\", "\\\\\\\\");
+        value = value.replaceAll("\\\"", "\\\\\\\"");
+        value = value.replaceAll("\n", "\\\\n");
+        
         outputWriter.print('"');
-        outputWriter.print
-            (str.replaceAll("\\\\", "\\\\").replaceAll("\\\"", "\\\"").replaceAll("\n", " "));
+        outputWriter.print(value);
         outputWriter.print('"');
     }