protected void writeChildren(String indent, String tag, Object[] children, PrintWriter writer) {
   writer.println(indent + "<" + tag + ">");
   for (int i = 0; i < children.length; i++) {
     IPluginObject obj = (IPluginObject) children[i];
     obj.write(indent + "   ", writer);
   }
   writer.println(indent + "</" + tag + ">");
 }
 protected void writeChildren(String indent, Object[] children, PrintWriter writer) {
   for (int i = 0; i < children.length; i++) {
     IPluginObject obj = (IPluginObject) children[i];
     obj.write(indent + "   ", writer);
   }
 }