context: function MigrateJunkMailSettings(){  var junkMailSettingsVersion = pref.getIntPref("mail.spam.version");  if (!junkMailSettingsVersion)  {    // get the default account, check to see if we have values for our    // globally migrated prefs.    var defaultAccount;    try {      defaultAccount = accountManager.defaultAccount;    } catch (ex) {}    if (defaultAccount && defaultAccount.incomingServer)    {      // we only care about      var prefix = "mail.server." + defaultAccount.incomingServer.key + ".";      if (pref.prefHasUserValue(prefix + "manualMark"))        pref.setBoolPref("mail.spam.manualMark", pref.getBoolPref(prefix + "manualMark"));      if (pref.prefHasUserValue(prefix + "manualMarkMode"))        pref.setIntPref("mail.spam.manualMarkMode", pref.getIntPref(prefix + "manualMarkMode"));      if (pref.prefHasUserValue(prefix + "spamLoggingEnabled"))        pref.setBoolPref("mail.spam.logging.enabled", pref.getBoolPref(prefix + "spamLoggingEnabled"));      if (pref.prefHasUserValue(prefix + "markAsReadOnSpam"))        pref.setBoolPref("mail.spam.markAsReadOnSpam", pref.getBoolPref(prefix + "markAsReadOnSpam"));    }    // bump the version so we don't bother doing this again.    pref.setIntPref("mail.spam.version", 1);  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9421/99b702eb3ae7c2b1f5466b0dfcf7238f9b0ca1ac/msgMail3PaneWindow.js/clean/mail/base/content/msgMail3PaneWindow.js