get _prefBranch() { if (!this.__prefBranch) this.__prefBranch = Cc["@mozilla.org/preferences-service;1"]. getService(Ci.nsIPrefBranch); return this.__prefBranch; 
get _cps() { delete this._cps; return this._cps = Cc["@mozilla.org/content-pref/service;1"]. getService(Ci.nsIContentPrefService); 
  get _prefBranch() {    if (!this.__prefBranch)      this.__prefBranch = Cc["@mozilla.org/preferences-service;1"].                           getService(Ci.nsIPrefBranch);    return this.__prefBranch;  },
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/db7cd57c4ee083b474dffe689b52f577a52bb6f8/browser-textZoom.js/buggy/browser/base/content/browser-textZoom.js