rem: torbutton_uninstall_observer.unregister(); 
context: function torbutton_close_window(event) {    torbutton_pref_observer.unregister();    torbutton_uninstall_observer.unregister();}
meta: 3444	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3444/8a64fa98b7109071f52ad53db29769db9d5058bd/torbutton.js/clean/src/chrome/content/torbutton.js