tree.addEndElement();
tree.addStartElement(pr_value);
if (pipeconfig.options.containsKey(name)) {
tree.startContent();
tree.addText(pipeconfig.options.get(name));
} else if (pipeconfig.gvOptions.contains(name)) {
tree.addAttribute(_initialized, "true");
tree.startContent();
} else {
tree.addAttribute(_default, "true");