tuned;

--- a/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Sun Sep 06 15:05:35 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Sun Sep 06 15:31:25 2009 +0200
@@ -45,7 +45,7 @@
 	def getHyperlink(buffer: Buffer, original_offset: Int): Hyperlink = {
     val prover = Isabelle.prover_setup(buffer).map(_.prover)
     val theory_view_opt = Isabelle.prover_setup(buffer).map(_.theory_view)
-    if (!prover.isDefined || !theory_view_opt.isDefined) null
+    if (prover.isEmpty || theory_view_opt.isEmpty) null
     else if (prover.get == null || theory_view_opt.get == null) null
     else {
       val theory_view = theory_view_opt.get

--- a/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Sep 06 15:05:35 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/ScrollerDockable.scala	Sun Sep 06 15:31:25 2009 +0200
@@ -200,7 +200,7 @@
 }
 
 //containing the rendered messages
-class PanelCache (buffer: Unrendered[Result], val renderer: Renderer[Result, XHTMLPanel])
+class PanelCache(buffer: Unrendered[Result], val renderer: Renderer[Result, XHTMLPanel])
   extends mutable.HashMap[Int, XHTMLPanel] with Rendered[Result, XHTMLPanel]
 {
   override def getRendered (id: Int): Option[XHTMLPanel] =