add: var tree = document.getElementById("Tree"); if (tree) { tree.database.RemoveObserver(RDF_observer); } 
context: function SearchPanelShutdown(){}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/c84b2ba5a6c3aa9721c6e427dabce010f7301149/search-panel.js/clean/suite/common/search/search-panel.js