src/Tools/jEdit/src/plugin.scala

--- a/src/Tools/jEdit/src/plugin.scala	Tue Mar 14 09:41:02 2017 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Tue Mar 14 10:49:07 2017 +0100
@@ -45,7 +45,7 @@
   def resources(): JEdit_Resources =
     session.resources.asInstanceOf[JEdit_Resources]
 
-  def debugger: Debugger = Debugger(session)
+  def debugger: Debugger = session.debugger
 
   def file_watcher(): File_Watcher =
     if (plugin == null) File_Watcher.none else plugin.file_watcher