add: getWebNavigation().reload(reloadFlags); } 
context: function BrowserReallyReload(event)   {    var nsIWebNavigation = Components.interfaces.nsIWebNavigation;    // Default is no flags.    var reloadFlags = nsIWebNavigation.LOAD_FLAGS_NONE;    // See if the event was a shift-click.    if ( event.shiftKey ) {        // Shift key means bypass proxy and cache.        reloadFlags = nsIWebNavigation.LOAD_FLAGS_BYPASS_PROXY | nsIWebNavigation.LOAD_FLAGS_BYPASS_CACHE;    }    appCore.reload(reloadFlags);  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a7a77b9bd169a24106263728b98a7132d8bbff84/navigator.js/buggy/suite/browser/navigator.js