rem: this.prefService.savePrefFile(null); 
context: function pm_reset(prefName){    this.prefRecords[prefName].realValue = null;    this.prefBranch.clearUserPref(prefName);    this.prefService.savePrefFile(null);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/4739a2aeecc9d654b4d4e3ae915803169b5b6f15/pref-manager.js/clean/extensions/irc/js/lib/pref-manager.js