Changeset 2249 for trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCJacaretoReplayGenerator.java

Timestamp:

12/11/17 15:13:30 (7 years ago)

Author:

pharms

Message:

• solved some findbugs issues

File:

• trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCJacaretoReplayGenerator.java (modified) (1 diff)

trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/JFCJacaretoReplayGenerator.java

@@ -803 +803 @@
         OutputStreamWriter writer = null;
         try {
-            writer = new OutputStreamWriter(new FileOutputStream(file));
+            writer = new OutputStreamWriter(new FileOutputStream(file), "UTF-8");
         }
         catch (IOException e) {