if (that.preferences.hasOwnProperty(aData)) { 
if (that.preferences) { 
    observe: function(aSubject, aTopic, aData) {      if (aTopic != "nsPref:changed") {return;}      if (that.preferences.hasOwnProperty(aData)) {        that.preferences[aData] = this._branch['get'+(this.types[aData])+'Pref'](aData);      }    }
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/cc6622342d41f6a78654265b5e8ba13d45c1faba/itsalltext.js/buggy/chrome/content/itsalltext.js