src/Tools/jEdit/src/plugin.scala

--- a/src/Tools/jEdit/src/plugin.scala	Mon Mar 13 17:21:46 2017 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Mon Mar 13 20:33:42 2017 +0100
@@ -45,6 +45,8 @@
   def resources(): JEdit_Resources =
     session.resources.asInstanceOf[JEdit_Resources]
 
+  def debugger: Debugger = Debugger(session)
+
   def file_watcher(): File_Watcher =
     if (plugin == null) File_Watcher.none else plugin.file_watcher
 
@@ -248,7 +250,6 @@
         }
 
       case Session.Ready =>
-        Debugger.init_session(PIDE.session)
         PIDE.session.update_options(PIDE.options.value)
         PIDE.init_models()