rem: appCore.setDefaultCharacterSet(aCharset); BrowserReload(); 
context: function BrowserSetDefaultCharacterSet(aCharset){  appCore.setDefaultCharacterSet(aCharset); //XXXjag see bug 67442  BrowserReload();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/abcff3f1369295801dd59e61618b48aefaf20dae/navigator.js/buggy/xpfe/browser/resources/content/navigator.js