if( this.prefService == null ) { 
if( this.prefService === null ) { 
    initialize: function() {        dump( ">>>   initialize: arguments=" + arguments + "\n" );       /* Get preferences service */        if( this.prefService == null ) {            try {                this.prefService = Components.classes['@mozilla.org/preferences-service;1'].getService(Components.interfaces.nsIPrefBranch2);            } catch (err) {}        }    },
3400	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3400/bcc3b01ed1a9228500c9e4f894a15f81b5c3a8f8/FirebugPanel.js/clean/chrome/content/omnibug/FirebugPanel.js