Index: trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/Runner.java
===================================================================
--- trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/Runner.java	(revision 303)
+++ trunk/JFCMonitor/src/de/ugoe/cs/eventbench/jfcmonitor/Runner.java	(revision 308)
@@ -7,4 +7,5 @@
 import java.io.IOException;
 import java.io.OutputStreamWriter;
+import java.io.UnsupportedEncodingException;
 import java.util.Arrays;
 
@@ -64,10 +65,16 @@
 
 		if (stdOutputWrite) {
-			AWTEventListener listenerStdOut = new JFCListener(
-					new OutputStreamWriter(System.out));
-			Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut,
-					AWTEvent.KEY_EVENT_MASK);
-			Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut,
-					AWTEvent.MOUSE_EVENT_MASK);
+			AWTEventListener listenerStdOut;
+			try {
+				listenerStdOut = new JFCListener(new OutputStreamWriter(
+						System.out, "UTF-8"));
+				Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut,
+						AWTEvent.KEY_EVENT_MASK);
+				Toolkit.getDefaultToolkit().addAWTEventListener(listenerStdOut,
+						AWTEvent.MOUSE_EVENT_MASK);
+			} catch (UnsupportedEncodingException e) {
+				System.err
+						.println("JFCMONITOR -- failure to create OutputStreamWriter with UTF-8 encoding to System.out");
+			}
 		}