rem: function Preferences_resetPref(aPrefName) 
add: function Preferences_resetPref(aPrefName) 
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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/3703c3c05f398a63e55992f7687ef65273b26d6a/browser.js/buggy/js/tests/browser.js