rem:  if ( canreload) { return; }   if (appCore != null) { dump("Going to reload\n"); appCore.reload(reloadType); } else { dump("BrowserAppCore has not been created!\n"); } } 
add:  if ( canreload) return;   if (appCore != null) appCore.reload(reloadType); } 
context:   function BrowserReallyReload(reloadType) {     // Get a handle to the "canReload" broadcast id     var reloadBElem = document.getElementById("canReload");     if (!reloadBElem) {        dump("Couldn't obtain handle to reload Broadcast element\n");        return;	   }     var canreload = reloadBElem.getAttribute("disabled");          // If the reload button is currently disabled, just return     if ( canreload) {	     return;     }	     //Call in to BrowserAppcore to reload the current loading     if (appCore != null) {        dump("Going to reload\n");        appCore.reload(reloadType);     } else {        dump("BrowserAppCore has not been created!\n");     }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/504dbe197757dfd7174946e37fd3dbb61e55759e/navigator.js/buggy/suite/browser/navigator.js