rem: var prefs = Components.classes["@mozilla.org/preferences;1"].getService(Components.interfaces.nsIPref); 
add: var prefs = Components.classes["@mozilla.org/preferences-service;1"] .getService(Components.interfaces.nsIPrefService); 
context: function onOk() {  // Check if user/host have been modified.  if (!checkUserServerChanges(true))    return false;  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/f1f4e0d7a57ab7bc6d826daa2e6141efd69e1dce/AccountManager.js/clean/mailnews/base/prefs/resources/content/AccountManager.js