src/Tools/jEdit/src/sledgehammer_dockable.scala

     new Wrap_Panel(Wrap_Panel.Alignment.Right)(
       provers_label, Component.wrap(provers), isar_proofs,
       process_indicator.component, apply_query, cancel_query, locate_query, zoom)
   add(controls.peer, BorderLayout.NORTH)
 
-  override def focusOnDefaultComponent { apply_query.peer.requestFocus }
+  override def focusOnDefaultComponent { provers.requestFocus }
 }