rem: { if (appCore != null) { appCore.SetDocumentCharset(aCharset); window._content.location.reload(); } else { dump("BrowserAppCore has not been created!\n"); } } 
add: { appCore.SetDocumentCharset(aCharset); getWebNavigation().reload(nsIWebNavigation.LOAD_FLAGS_NONE); } 
context:   function BrowserSetDefaultCharacterSet(aCharset)  {    if (appCore != null) {      appCore.SetDocumentCharset(aCharset);      window._content.location.reload();    } else {      dump("BrowserAppCore has not been created!\n");    }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/73019ea054da57bc12001ee9fbddfc7695e0c300/navigator.js/clean/xpfe/browser/resources/content/navigator.js