}
private void addRequirementProperties(Element node, LibraryRequirement req) {
addNodeAttributes(node, req);
LibraryRequirement r = (LibraryRequirement) req;
if (r.isPredefined()) {
node.addAttribute("predefined", ""+r.isPredefined());
}
if (r.getCategory() != null) {
node.addElement("category")
.addAttribute("name", r.getCategory().name());
}
Element children = node.addElement("refinedBy");
for(TreeNode n : r.getChildren()) {
addTreeFragment(children, n);
}
}