Index: /trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/temporalrelation/utils/TaskTreeEncoder.java
===================================================================
--- /trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/temporalrelation/utils/TaskTreeEncoder.java	(revision 2236)
+++ /trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/temporalrelation/utils/TaskTreeEncoder.java	(revision 2237)
@@ -18,4 +18,5 @@
 import java.io.FileOutputStream;
 import java.io.PrintStream;
+import java.io.UnsupportedEncodingException;
 import java.util.HashMap;
 import java.util.List;
@@ -57,8 +58,12 @@
         PrintStream out = null;
         try {
-            out = new PrintStream(new FileOutputStream("userSessions.txt"));
+            out = new PrintStream(new FileOutputStream("userSessions.txt"), true, "UTF-8");
             for (IUserSession session : userSessions) {
                 encode(session, out);
             }
+        }
+        catch (UnsupportedEncodingException e) {
+            // must not happen as the encoding should be correct
+            throw new RuntimeException("programming error", e);
         }
         finally {
@@ -77,6 +82,10 @@
         PrintStream out = null;
         try {
-            out = new PrintStream(new FileOutputStream("taskInstanceList.txt"));
+            out = new PrintStream(new FileOutputStream("taskInstanceList.txt"), true, "UTF-8");
             encode(taskInstanceList, out);
+        }
+        catch (UnsupportedEncodingException e) {
+            // must not happen as the encoding should be correct
+            throw new RuntimeException("programming error", e);
         }
         finally {
@@ -95,6 +104,10 @@
         PrintStream out = null;
         try {
-            out = new PrintStream(new FileOutputStream("task.txt"));
+            out = new PrintStream(new FileOutputStream("task.txt"), true, "UTF-8");
             encode(task, out);
+        }
+        catch (UnsupportedEncodingException e) {
+            // must not happen as the encoding should be correct
+            throw new RuntimeException("programming error", e);
         }
         finally {