context: function setFormElementValue(formElement, value) {  if (formElement.type == "checkbox") {    if (value == undefined) {      formElement.checked = formElement.defaultChecked;    } else {      if (formElement.getAttribute("reversed"))        formElement.checked = !value;      else        formElement.checked = value;    }  } else {    if (value == undefined)      formElement.value = formElement.defaultValue;    else      formElement.value = value;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/af8eab80111accaecfacb14aced7764cd9e6c893/AccountManager.js/clean/mailnews/base/prefs/resources/content/AccountManager.js