rem: function updateTree(xml) { 
add: function updateTree(xml) { var tocData = xml.documentElement; 
context: function updateTree(xml) {    var treeRoot = document.getElementById("tree_root");    var children = xml.getElementsByTagName ("tree_data");        if (treeRoot === null) {         return;     }    if (children === null) {         return;     }    if (children.length != 1) {        return;     }        var tocdata = children[0];    var nodes = tocdata.childNodes;    selectedNode = null;    mergeChildren(treeRoot, nodes);    if (selectedNode != null) {        focusOnItem(selectedNode);    } }
meta: 10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10107/4fa6b91314cb4120d5f3cb4c47829d28768fc461/helptreechildren.js/buggy/org.eclipse.help.webapp/advanced/helptreechildren.js