if (child) { return child.className; } 
if (child && child.className == "group") { child = findChild(child, "DIV"); } if (child) { return child.className; } 
function getChildClass(node) {    var child = findChild(node, "DIV");    if (child) { return child.className; }    return "leaf";}
10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10107/ea5c98170b3e22ac84bae5cbc938c2c309099fae/helptree.js/clean/org.eclipse.help.webapp/advanced/helptree.js