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