rem: var service = pref.getCharPref("browser.translation.service"); var serviceDomain = pref.getCharPref("browser.translation.serviceDomain"); 
add: var service = pref.getComplexValue("browser.translation.service", Components.interfaces.nsIPrefLocalizedString).data; var serviceDomain = pref.getComplexValue("browser.translation.serviceDomain", Components.interfaces.nsIPrefLocalizedString).data; 
context: function Translate(){  var service = pref.getCharPref("browser.translation.service");  var serviceDomain = pref.getCharPref("browser.translation.serviceDomain");  var targetURI = getWebNavigation().currentURI.spec;  // if we're already viewing a translated page, then just reload  if (targetURI.indexOf(serviceDomain) >= 0)    BrowserReload();  else {    loadURI(encodeURI(service + targetURI));  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/4e2a51bf88c9ecd2b4831fa380cf974d9f361f40/navigator.js/buggy/suite/browser/navigator.js