// Add node: branch or leaf
parent_element.addElement(childtype)
.addAttribute("relURI", creator.generateTreeId(childid, childType))
.addAttribute("doctype", doctype).addAttribute("menuName",
creator.getChildName(childname));
getLogger().debug("Tree has been modified: " + doc.asXML());
// Write new tree
java.io.FileWriter fileWriter = new java.io.FileWriter(treefilename);
doc.write(fileWriter);
fileWriter.close();