Index: trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDgenerateJacaretoReplay.java
===================================================================
--- trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDgenerateJacaretoReplay.java	(revision 1876)
+++ trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/commands/CMDgenerateJacaretoReplay.java	(revision 1883)
@@ -811,5 +811,8 @@
         JFCGUIElement target = (JFCGUIElement) event.getTarget();
         MouseButtonInteraction info = (MouseButtonInteraction) event.getType();
-
+        // get rid of the quote symbols in the command because we want to
+        // escape the middle part for XML
+        String cmd = target.getName().substring(1, target.getName().length()-1);
+        
         //@formatter:off
         writeLine(writer,
@@ -832,5 +835,5 @@
             + "uuid=\"" + UUID.randomUUID() + "\" "
             + "ID=\"1001\" "
-            + "command=" + StringEscapeUtils.escapeXml(target.getName()) + " "
+            + "command=\"" + StringEscapeUtils.escapeXml(cmd) + "\" "
             + "modifiers=\"" + getButtonModifier(info) + "\" />"
         );