src/Tools/jEdit/src/documentation_dockable.scala

   }
 
   tree.addKeyListener(new KeyAdapter {
     override def keyPressed(e: KeyEvent): Unit = {
       if (e.getKeyCode == KeyEvent.VK_ENTER) {
-        e.consume
+        e.consume()
         val path = tree.getSelectionPath
         if (path != null) {
           path.getLastPathComponent match {
             case node: DefaultMutableTreeNode => action(node)
             case _ =>