src/Tools/jEdit/src/symbols_dockable.scala

 
         val entries: List[(String, List[String])] =
           Multi_Map(
             (for {
               (abbr, txt0) <- abbrevs
-              val txt = Symbol.encode(txt0)
+              txt = Symbol.encode(txt0)
               if !Symbol.iterator(txt).
                 forall(s => s.length == 1 && s(0) != Completion.caret_indicator)
             } yield (txt, abbr)): _*).iterator_list.toList
 
         contents.clear