src/Tools/jEdit/src/prover/Command.scala

--- a/src/Tools/jEdit/src/prover/Command.scala	Mon Jan 19 21:38:50 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Command.scala	Mon Jan 19 21:58:38 2009 +0100
@@ -85,7 +85,7 @@
   def proper_start = start
   def proper_stop = {
     var i = last
-    while (i != first && i.kind.equals(Token.Kind.COMMENT))
+    while (i != first && i.kind == Token.Kind.COMMENT)
       i = i.prev
     i.stop
   }