more thorough change of syntax style extender: jEdit.propertiesChanged invalidates buffer chunk cache;
more robust: fall-back for SyntaxUtilities.StyleExtender when Isabelle plugin is unloaded;