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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8b610bcf5f66f954731468c23221c2667ff34834/navigator.js/buggy/xpfe/browser/resources/content/navigator.js