Index: /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCJacaretoReplayGenerator.java
===================================================================
--- /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCJacaretoReplayGenerator.java	(revision 2249)
+++ /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCJacaretoReplayGenerator.java	(revision 2250)
@@ -158,14 +158,19 @@
         public String toString() {
             String separator = System.getProperty("line.separator");
-            String result = content + separator;
+            StringBuffer result = new StringBuffer(content);
+            result.append(separator);
 
             for (StructureNode child : children) {
-                result += child.toString();
+                result.append(child.toString());
             }
 
             if (content.endsWith("/>")) {
-                return result;
-            }
-            return result + "</StructureElement>" + separator;
+                return result.toString();
+            }
+            
+            result.append("</StructureElement>");
+            result.append(separator);
+            
+            return result.toString();
         }
     }