rem:  getWebNavigation().loadURI(uri, Components.interfaces.nsIWebNavigation.LOAD_FLAGS_NONE); 
add:  getWebNavigation().loadURI(uri, nsIWebNavigation.LOAD_FLAGS_NONE); 
context: function loadURI(uri){  // window._content.location.href = uri;  getWebNavigation().loadURI(uri, Components.interfaces.nsIWebNavigation.LOAD_FLAGS_NONE);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d9c8cae48df382ee716adf2c4fe0471ee7e7a96b/navigator.js/buggy/suite/browser/navigator.js