rem: permissionsTree.treeBoxObject.view.selection.select(-1);  
add: var oldCount = permissionsTreeView.rowCount; 
context: function clearTree() {  permissionsTree.treeBoxObject.view.selection.select(-1);   permissionsTreeView.rowCount = 0;  permissionsTree.treeBoxObject.invalidate();  document.getElementById("removePermission").setAttribute("disabled", "true")  document.getElementById("removeAllPermissions").setAttribute("disabled","true");}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/7fc3799c18a5fd00bd31bd8dc2bf626eb6252ede/permissionsManager.js/buggy/suite/common/permissions/permissionsManager.js