Index: /trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/JFCTraceCorrector.java
===================================================================
--- /trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/JFCTraceCorrector.java	(revision 794)
+++ /trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/JFCTraceCorrector.java	(revision 795)
@@ -22,4 +22,5 @@
 import org.xml.sax.helpers.DefaultHandler;
 
+import de.ugoe.cs.util.StringTools;
 import de.ugoe.cs.util.console.Console;
 
@@ -611,7 +612,7 @@
             out.print(indent);
             out.print("<param name=\"");
-            out.print(param[0]);
+            out.print(StringTools.xmlEntityReplacement(param[0]));
             out.print("\" value=\"");
-            out.print(param[1]);
+            out.print(StringTools.xmlEntityReplacement(param[1]));
             out.println("\" />");
         }
@@ -655,5 +656,5 @@
         private void dump(PrintStream out) {
             out.print("<event id=\"");
-            out.print(id);
+            out.print(StringTools.xmlEntityReplacement(id));
             out.println("\">");