243244245246247248249250251252253
protected void destroyPlugins() { log.debug("Destroying plugins"); Iterator plugins = this.plugins.iterator(); while (plugins.hasNext()) { Plugin plugin = (Plugin)plugins.next(); plugin.destroy(); } } /** * Initialize access