public void writeConfigurations(PrintWriter writer, int indent) { Map configurations = getConfiguration(); if (configurations != null && !configurations.isEmpty()) { for (Iterator iter = new TreeSet(configurations.keySet()).iterator(); iter.hasNext(); ) { String propertyName = (String) iter.next(); PluginExtensionConfiguration config = (PluginExtensionConfiguration) configurations.get(propertyName); config.write(writer, indent); } } }