src/Tools/jEdit/src/plugin.scala

 
   def resources(): JEdit_Resources =
     session.resources.asInstanceOf[JEdit_Resources]
 
   def debugger: Debugger = session.debugger
-
-  def file_watcher(): File_Watcher =
-    if (plugin == null) File_Watcher.none else plugin.file_watcher
 
   lazy val editor = new JEdit_Editor
 
 
   /* current document content */

       completion_history.value.save()
     }
 
     exit_models(JEdit_Lib.jedit_buffers().toList)
     PIDE.session.stop()
-    PIDE.file_watcher.shutdown()
+    file_watcher.shutdown()
   }
 }