var item = new TreeElement(category.title, category, true); item.selectable = false; return item; 
TreeElement.call(this, category.title, category, true); 
WebInspector.ResourceCategoryTreeElement = function(category){    var item = new TreeElement(category.title, category, true);    item.selectable = false;    return item;}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/34bb5fbb62b629039e0ff2acb2c0fb532fa27177/ResourceCategory.js/buggy/WebCore/page/inspector/ResourceCategory.js