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