rem: debug("Directory: removed observer\n"); 
add: debug("Directory: removed observer\n"); 
context: function DoUnload(){	var tree = document.getElementById("tree");	if (tree)	{		tree.database.RemoveDataSource(HTTPIndex);		tree.database.RemoveObserver(RDF_observer);	    debug("Directory: removed observer\n");	}}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d38a0937d9c93a0a9d913e2ac781e4328bb8cc73/directory.js/buggy/xpfe/components/directory/directory.js