rem: } 
context: function Preferences_resetPref(aPrefName) {  try  {    if (typeof netscape != 'undefined' &&        'security' in netscape &&        'PrivilegeManager' in netscape.security &&        'enablePrivilege' in netscape.security.PrivilegeManager)    {      netscape.security.PrivilegeManager.enablePrivilege(this.privs);    }    if (aPrefName in this.orig)    {      this.setPref(aPrefName, this.orig[aPrefName]);    }  }  catch(ex)  {  }}
meta: 10520	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10520/0b675418ba636127763e94e614e62364d6caa659/browser.js/buggy/js/tests/browser.js