function isEmptyElement(element){	// XXXjjb the commented code causes issues 48, 240, and 244. I think the lines should be deleted.	// If the DOM has whitespace children, then the element is not empty even if	// we decide not to show the whitespace in the UI.//    if (Firebug.showWhitespaceNodes)//    {        return !element.firstChild;//    }//    else//    {//        for (var child = element.firstChild; child; child = child.nextSibling)//        {//            if (!isWhitespaceText(child))//                return false;//        }//    }//    return true;}
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/5da1c8b018cf62f6e1c25d1879f31f9fb68401bb/html.js/buggy/extension/content/firebug/html.js