diff -r abab3a577e10 -r 5d5d253c7c29 src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala
--- a/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Sat May 30 23:27:37 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Tue Jun 02 21:20:22 2009 +0200
@@ -23,7 +23,7 @@
 class InternalHyperlink(start: Int, end: Int, line: Int, ref_offset: Int)
   extends AbstractHyperlink(start, end, line, "")
 {
-  override def click(view: View) = {
+  override def click(view: View) {
     view.getTextArea.moveCaretPosition(ref_offset)
   }
 }