src/Tools/jEdit/src/rich_text_area.scala

               try { text_area.moveCaretPosition(range.start) }
               catch {
                 case _: ArrayIndexOutOfBoundsException =>
                 case _: IllegalArgumentException =>
               }
-              text_area.requestFocus
+              text_area.requestFocus()
             }
             link.follow(view)
           case None =>
         }
         active_area.text_info match {