rem:  try { var prefs = Components.classes["@mozilla.org/preferences-service;1"] .getService(Components.interfaces.nsIPrefService); prefs.savePrefFile(null); } catch (ex) { dump("Error saving prefs!\n"); } 
add:  try { var prefs = Components.classes["@mozilla.org/preferences-service;1"] .getService(Components.interfaces.nsIPrefService); prefs.savePrefFile(null); } catch (ex) { dump("Error saving prefs!\n"); } 
context: function onAccept() {  // Check if user/host have been modified.  if (!checkUserServerChanges(true))    return false;  if (gSmtpHostNameIsIllegal) {    gSmtpHostNameIsIllegal = false;    return false;  }  onSave();    // hack hack - save the prefs file NOW in case we crash    try {        var prefs = Components.classes["@mozilla.org/preferences-service;1"]                              .getService(Components.interfaces.nsIPrefService);        prefs.savePrefFile(null);    } catch (ex) {        dump("Error saving prefs!\n");    }  return true;}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/430390f690ffdbe013e747d894b805756723c5a1/AccountManager.js/clean/mailnews/base/prefs/resources/content/AccountManager.js