} 
function focusOnDeepestVisibleChild(treeItem, isHighlighted) {         var childDiv = findLastChild(treeItem, "DIV");        if (childDiv) {              if (childDiv.className == "visible" || childDiv.className == "root" ) {                        focusOnDeepestVisibleChild(childDiv, isHighlighted);                return;            }        }    focusOnItem(treeItem, isHighlighted);}
10107	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10107/ea5c98170b3e22ac84bae5cbc938c2c309099fae/helptree.js/clean/org.eclipse.help.webapp/advanced/helptree.js