tuned;

--- a/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Thu Dec 17 20:25:39 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_encoding.scala	Fri Dec 18 12:29:30 2009 +0100
@@ -22,7 +22,7 @@
   val NAME = "UTF-8-Isabelle"
 
   def is_active(buffer: JEditBuffer): Boolean =
-    buffer.getProperty(JEditBuffer.ENCODING).asInstanceOf[String] == NAME
+    buffer.getStringProperty(JEditBuffer.ENCODING).asInstanceOf[String] == NAME
 }
 
 class Isabelle_Encoding extends Encoding