src/Tools/jEdit/src-base/plugin.scala

--- a/src/Tools/jEdit/src-base/plugin.scala	Fri Sep 01 12:57:24 2017 +0200
+++ b/src/Tools/jEdit/src-base/plugin.scala	Fri Sep 01 14:58:19 2017 +0200
@@ -21,4 +21,9 @@
 
     SyntaxUtilities.setStyleExtender(Syntax_Style.Dummy_Extender)
   }
+
+  override def stop()
+  {
+    SyntaxUtilities.setStyleExtender(new SyntaxUtilities.StyleExtender)
+  }
 }