rem: window.location = window.redirectURL; 
add: window.location.href = window.redirectURL; 
context: function Redirect() {   window.location = window.redirectURL;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/cddca7b1217f1f1a10c371a975c199b3efbaa9cc/XMLTermCommands.js/clean/extensions/xmlterm/ui/content/XMLTermCommands.js