439440441442443444445446447448449
plugin = ((PluginContainer)plugins.get(i)).getPlugin(); logger.debug("Destroying plugin: " + plugin.getClass().getName()); try { plugin.destroy(); } catch (JasenException e) { errorHandler.handleException(e); } }