add: var nsIWebNavigation = Components.interfaces.nsIWebNavigation;  var reloadType = nsIWebNavigation.loadReloadNormal;  if ( event.shiftKey ) {  reloadType = nsIWebNavigation.loadReloadBypassProxyAndCache; } 
context: function BrowserReallyReload(reloadType)   {    appCore.reload(reloadType);  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d63ac2fd364f257bced730386423496e4dd56681/navigator.js/clean/suite/browser/navigator.js