rem: appCore.SetForcedCharset(aCharset); 
add: var charsetConverterManager = Components.classes["@mozilla.org/charset-converter-manager;1"] .getService(Components.interfaces.nsICharsetConverterManager2); var characterSet = charsetConverterManager.GetCharsetAtom(aCharset); getBrowser().documentCharsetInfo.forcedCharset = characterSet; 
context: function BrowserSetForcedCharacterSet(aCharset){  appCore.SetForcedCharset(aCharset);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/9603b030e8e098a3b56851d34f16ce86dcf21146/navigator.js/buggy/suite/browser/navigator.js