src/Tools/jEdit/src/isabelle_encoding.scala

--- a/src/Tools/jEdit/src/isabelle_encoding.scala	Sun Mar 06 10:33:34 2016 +0100
+++ b/src/Tools/jEdit/src/isabelle_encoding.scala	Sun Mar 06 11:59:35 2016 +0100
@@ -56,7 +56,7 @@
       override def flush()
       {
         val text = Symbol.encode(toString(UTF8.charset_name))
-        out.write(text.getBytes(UTF8.charset))
+        out.write(UTF8.bytes(text))
         out.flush()
       }
       override def close() { out.close() }