rem: this.prefBranch.clearUserPref(prefName); 
add: try { this.prefBranch.clearUserPref(prefName); } catch(ex) {  } this.delayedSave(); 
context: function pm_reset(prefName){    this.prefRecords[prefName].realValue = null;    this.prefBranch.clearUserPref(prefName);}
meta: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/f5d9a0ec96f499d8209b8eaab4552f18401ddde1/pref-manager.js/buggy/js/lib/pref-manager.js