// javadoc inherited from MarkupPluginContainer interface
public void releasePlugins() {
Iterator iterator = plugins.values().iterator();
while (iterator.hasNext()) {
MarkupPlugin plugin = (MarkupPlugin) iterator.next();
plugin.release();
}
plugins.clear();
}
}