diff -r 1b2995592bb9 -r 184fda8cce04 src/Tools/jEdit/src/prover/Prover.scala
--- a/src/Tools/jEdit/src/prover/Prover.scala	Tue Jan 20 23:13:54 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala	Tue Jan 27 16:16:55 2009 +0100
@@ -9,7 +9,7 @@
 package isabelle.prover
 
 
-import scala.collection.mutable.{HashMap, HashSet}
+import scala.collection.mutable
 import scala.collection.immutable.{TreeSet}
 
 import org.gjt.sp.util.Log
@@ -23,20 +23,20 @@
   private var _logic = isabelle_system.getenv_strict("ISABELLE_LOGIC")
   private var process: Isar = null
 
-  private val commands = new HashMap[IsarDocument.Command_ID, Command]
+  private val commands = new mutable.HashMap[IsarDocument.Command_ID, Command]
 
 
   /* outer syntax keywords */
 
   val decl_info = new EventBus[(String, String)]
 
-  private val keyword_decls = new HashSet[String] {
+  private val keyword_decls = new mutable.HashSet[String] {
     override def +=(name: String) = {
       decl_info.event(name, OuterKeyword.MINOR)
       super.+=(name)
     }
   }
-  private val command_decls = new HashMap[String, String] {
+  private val command_decls = new mutable.HashMap[String, String] {
     override def +=(entry: (String, String)) = {
       decl_info.event(entry)
       super.+=(entry)