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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b554085255a63ef5689b4b99020053e0bd870816/navigator.js/buggy/suite/browser/navigator.js