diff -r 0923926022d7 -r 920ff05ca3f3 src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala
--- a/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala	Mon Jan 19 21:38:50 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala	Mon Jan 19 21:58:38 2009 +0100
@@ -75,11 +75,11 @@
       val list = new java.util.LinkedList[String]
       val descriptions = new java.util.LinkedList[String]
       // compute suggestions
-      val (suggs,text) = suggestions(1)
+      val (suggs, text) = suggestions(1)
       for(s <- suggs) {
         val decoded = Isabelle.symbols.decode(s)
         list.add(decoded)
-        if(!decoded.equals(s)) descriptions.add(s) else descriptions.add(null)
+        if(decoded != s) descriptions.add(s) else descriptions.add(null)
       }
       return new IsabelleSideKickCompletion(pane.getView, text, list, descriptions)
     } else return null