Token: plain val kind;

--- a/src/Tools/jEdit/src/proofdocument/Token.scala	Tue Jan 20 20:32:04 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/Token.scala	Tue Jan 20 22:29:41 2009 +0100
@@ -33,7 +33,7 @@
   }
 }
 
-class Token(var start: Int, var stop: Int, var kind: Token.Kind.Value)
+class Token(var start: Int, var stop: Int, val kind: Token.Kind.Value)
 {
   var next: Token = null
   var prev: Token = null