rem: appCore.setDefaultCharacterSet(aCharset); BrowserReload(); 
context: function BrowserSetDefaultCharacterSet(aCharset){  appCore.setDefaultCharacterSet(aCharset); //XXXjag see bug 67442  BrowserReload();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9d4e3dbcf591eed5ae8035db6f6ba6d8cfb71807/navigator.js/clean/suite/browser/navigator.js