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