rem: var charsetConverterManager = Components.classes["@mozilla.org/charset-converter-manager;1"] .getService(Components.interfaces.nsICharsetConverterManager2); var characterSet = charsetConverterManager.GetCharsetAtom(aCharset); getBrowser().documentCharsetInfo.forcedCharset = characterSet; 
add: var docCharset = getBrowser().docShell.QueryInterface( Components.interfaces.nsIDocCharset); docCharset.charset = aCharset; BrowserReload(); 
context: function BrowserSetForcedCharacterSet(aCharset){  var charsetConverterManager = Components.classes["@mozilla.org/charset-converter-manager;1"]                                          .getService(Components.interfaces.nsICharsetConverterManager2);  var characterSet = charsetConverterManager.GetCharsetAtom(aCharset);  getBrowser().documentCharsetInfo.forcedCharset = characterSet;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/abcff3f1369295801dd59e61618b48aefaf20dae/navigator.js/buggy/xpfe/browser/resources/content/navigator.js