src/Tools/jEdit/src/isabelle_encoding.scala

   {
     val buffer = new ByteArrayOutputStream(BUFSIZE) {
       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() }
     }
     new OutputStreamWriter(buffer, UTF8.charset.newEncoder())