rem:  if (picker.id == "runFiltersFolder") 
add:  switch (picker) { case "runFiltersFolder": 
context: function SetFolderPickerElement(uri, picker){  var msgfolder = GetMsgFolderFromUri(uri, true);  if (!msgfolder)     return;  var selectedValue = null;  var serverName;  if (msgfolder.isServer)    selectedValue = msgfolder.name;  else {    if (msgfolder.server)      serverName = msgfolder.server.prettyName;    else {     dump("Can't find server for " + uri + "\n");     serverName = "???";    }     if (picker.id == "runFiltersFolder")       selectedValue = msgfolder.name;    else {      if (!gMessengerBundle)        gMessengerBundle = document.getElementById("bundle_messenger");      selectedValue = gMessengerBundle.getFormattedString("verboseFolderFormat",        [msgfolder.name, serverName]);    }  }  picker.setAttribute("label",selectedValue);  picker.setAttribute("uri",uri);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/3c70a8120237a1201d3132578dbb0ec13126471c/msgFolderPickerOverlay.js/clean/mailnews/base/resources/content/msgFolderPickerOverlay.js