renamed Plugin.plugin to Plugin.self;

--- a/src/Tools/jEdit/plugin/actions.xml	Sun Dec 21 20:36:41 2008 +0100
+++ b/src/Tools/jEdit/plugin/actions.xml	Sun Dec 21 21:43:40 2008 +0100
@@ -16,10 +16,10 @@
 	</ACTION>
 	<ACTION NAME="isabelle.activate">
 		<CODE>
-			isabelle.jedit.Plugin$.MODULE$.plugin().install(view);
+			isabelle.jedit.Plugin$.MODULE$.self().install(view);
 		</CODE>
 		<IS_SELECTED>
-			return isabelle.jedit.Plugin$.MODULE$.plugin().is_active(view.getBuffer());
+			return isabelle.jedit.Plugin$.MODULE$.self().is_active(view.getBuffer());
 		</IS_SELECTED>
 	</ACTION>
 </ACTIONS>
\ No newline at end of file

--- a/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala	Sun Dec 21 20:36:41 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/IsabelleSideKickParser.scala	Sun Dec 21 21:43:40 2008 +0100
@@ -27,7 +27,7 @@
     
     val data = new SideKickParsedData(buffer.getName)
     
-    Plugin.plugin.prover_setup(buffer) match {
+    Plugin.self.prover_setup(buffer) match {
       case None =>
         data.root.add(new DefaultMutableTreeNode("<buffer inactive>"))
       case Some(prover_setup) =>

--- a/src/Tools/jEdit/src/jedit/OptionPane.scala	Sun Dec 21 20:36:41 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/OptionPane.scala	Sun Dec 21 21:43:40 2008 +0100
@@ -79,7 +79,7 @@
       property("font-size", size.toString)
       SwingUtilities invokeLater new Runnable() {
         override def run() = 
-          Plugin.plugin.setFont(name, size.asInstanceOf[Integer].intValue)
+          Plugin.self.set_font(name, size.asInstanceOf[Integer].intValue)
       }
     }