produce ids via Isabelle.system (http://isabelle.in.tum.de/repos/isabelle/rev/c23663825e23);

--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Thu Jun 04 22:08:02 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Thu Jun 04 23:16:44 2009 +0200
@@ -46,7 +46,7 @@
     val MCL = TheoryView.MAX_CHANGE_LENGTH
     for (i <- 0 to buffer.getLength / MCL)
       prover ! new isabelle.proofdocument.Text.Change(
-        Isabelle.plugin.id(), i * MCL,
+        Isabelle.system.id(), i * MCL,
         buffer.getText(i * MCL, MCL min buffer.getLength - i * MCL),0)
 
     //register output-view

--- a/src/Tools/jEdit/src/jedit/TheoryView.scala	Thu Jun 04 22:08:02 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/TheoryView.scala	Thu Jun 04 23:16:44 2009 +0200
@@ -47,7 +47,7 @@
     extends TextAreaExtension with BufferListener
 {
 
-  def id() = Isabelle.plugin.id()
+  def id() = Isabelle.system.id()
   
   private val buffer = text_area.getBuffer
   private val prover = Isabelle.prover_setup(buffer).get.prover

--- a/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Thu Jun 04 22:08:02 2009 +0200
+++ b/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Thu Jun 04 23:16:44 2009 +0200
@@ -39,7 +39,7 @@
       "[()\\[\\]{}:;]", Pattern.MULTILINE)
 
  val empty =
-  new ProofDocument(isabelle.jedit.Isabelle.plugin.id(),
+  new ProofDocument(isabelle.jedit.Isabelle.system.id(),
     LinearSet(), Map(), LinearSet(), false, _ => false)
 
 }
@@ -57,11 +57,11 @@
     new ProofDocument(id, tokens, token_start, commands, true, is_command_keyword)
   def activate: (ProofDocument, StructureChange) = {
     val (doc, change) =
-      text_changed(new Text.Change(isabelle.jedit.Isabelle.plugin.id(), 0, content, content.length))
+      text_changed(new Text.Change(isabelle.jedit.Isabelle.system.id(), 0, content, content.length))
     return (doc.mark_active, change)
   }
   def set_command_keyword(f: String => Boolean): ProofDocument =
-    new ProofDocument(isabelle.jedit.Isabelle.plugin.id(), tokens, token_start, commands, active, f)
+    new ProofDocument(isabelle.jedit.Isabelle.system.id(), tokens, token_start, commands, active, f)
 
   def content = Token.string_from_tokens(Nil ++ tokens, token_start)
   /** token view **/

--- a/src/Tools/jEdit/src/prover/Command.scala	Thu Jun 04 22:08:02 2009 +0200
+++ b/src/Tools/jEdit/src/prover/Command.scala	Thu Jun 04 23:16:44 2009 +0200
@@ -31,7 +31,7 @@
 
 class Command(val tokens: List[Token], val starts: Map[Token, Int])
 {
-  val id = Isabelle.plugin.id()
+  val id = Isabelle.system.id()
 
   /* content */