src/Pure/System/isabelle_charset.scala

--- a/src/Pure/System/isabelle_charset.scala	Sun Nov 25 19:55:42 2012 +0100
+++ b/src/Pure/System/isabelle_charset.scala	Sun Nov 25 20:17:04 2012 +0100
@@ -22,14 +22,11 @@
 class Isabelle_Charset extends Charset(Isabelle_Charset.name, null)
 {
   override def contains(cs: Charset): Boolean =
-    cs.name.equalsIgnoreCase(Standard_System.charset_name) ||
-    Standard_System.charset.contains(cs)
+    cs.name.equalsIgnoreCase(UTF8.charset_name) || UTF8.charset.contains(cs)
 
-  override def newDecoder(): CharsetDecoder =
-    Standard_System.charset.newDecoder
+  override def newDecoder(): CharsetDecoder = UTF8.charset.newDecoder
 
-  override def newEncoder(): CharsetEncoder =
-    Standard_System.charset.newEncoder
+  override def newEncoder(): CharsetEncoder = UTF8.charset.newEncoder
 }