// Add node: branch or leaf
parent_element.addElement(childTypeStr)
.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();