rem: var tree = document.getElementById("Tree"); 
add: var tree = document.getElementById("resultList"); 
context: function SearchPanelShutdown(){  var tree = document.getElementById("Tree");  tree.database.RemoveObserver(RDF_observer);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d38a0937d9c93a0a9d913e2ac781e4328bb8cc73/search-panel.js/buggy/xpfe/components/search/resources/search-panel.js