removed debugging output

--- a/src/Tools/jEdit/src/prover/Command.scala	Sun Nov 30 19:18:59 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Command.scala	Sun Nov 30 19:32:17 2008 +0100
@@ -62,7 +62,6 @@
   val root_node = {
     val content = Plugin.plugin.prover.document.getContent(this)
     val ra = new RelativeAsset(this, 0, stop - start, "command", content)
-    System.err.println(start + "-" + stop + ": " + content)
     new DefaultMutableTreeNode(ra)
   }