rem: prefs.savePrefFile(null); 
add: prefs.SavePrefFile(); 
context: function onOk() {  onSave();    // hack hack - save the prefs file NOW in case we crash    try {        var prefs = Components.classes["@mozilla.org/preferences;1"].getService(Components.interfaces.nsIPref);        prefs.savePrefFile(null);    } catch (ex) {        dump("Error saving prefs!\n");    }  return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/cbc8cea88c9513724d671caeef055be8287d7300/AccountManager.js/buggy/mailnews/base/prefs/resources/content/AccountManager.js