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 2234)
+++ trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCJacaretoReplayGenerator.java	(revision 2249)
@@ -803,5 +803,5 @@
         OutputStreamWriter writer = null;
         try {
-            writer = new OutputStreamWriter(new FileOutputStream(file));
+            writer = new OutputStreamWriter(new FileOutputStream(file), "UTF-8");
         }
         catch (IOException e) {