rem: { if (appCore != null) { appCore.SetDocumentCharset(aCharset); window.content.location.reload(); 
add: { if (appCore != null) { appCore.SetDocumentCharset(aCharset); window.content.location.reload(); } else { dump("BrowserAppCore has not been created!\n"); } 
context: function BrowserSetDefaultCharacterSet(aCharset){  if (appCore != null) {    appCore.SetDocumentCharset(aCharset);    window.content.location.reload();  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/1e1ba37fe43340db5f075581a53c8d4d6987ce7f/navigator.js/clean/suite/browser/navigator.js