private void write(RootContainer rootContainer, Element element) {
addAttribute(element, "name", ((NamedElement) rootContainer.getSemanticElement()).getName());
addAttribute(element, "width", Integer.toString(rootContainer.getDimension().width));
addAttribute(element, "height", Integer.toString(rootContainer.getDimension().height));
Iterator iter = rootContainer.getNodes().iterator();
while (iter.hasNext()) {
write("\n ", (Node) iter.next(), element);
}
}
