prefs.removeObserver("extensions.firebug", FirebugPrefsObserver); 
prefs.removeObserver("extensions.firebug", FirebugPrefsObserver); 
    shutdown: function()    {		prefs.removeObserver("extensions.firebug", FirebugPrefsObserver);        timer = null;        fbs = null;        jsd = null;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/2e2e6e5e5acba26e69243682fad1c16a0bea8a6a/firebug-service.js/clean/extension/components/firebug-service.js