function destroy() { this.mObserverService.removeObserver(this, "accessible-event"); } 
destroy: function destroy() { this.mView.destroy(); this.mOlBox.view = null; }, 
function destroy(){  this.mObserverService.removeObserver(this, "accessible-event");}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/4eb29bf5bc7efab6733245aeeb75d772e432aee7/accessibleEvents.js/clean/extensions/inspector/resources/content/viewers/accessibleEvents/accessibleEvents.js