workTab.linkedBrowser.webNavigation.stop(STOP_ALL); 
        function afterWorkTabStopped(event){            dump('start afterWorkTabStopped\n');            workTab.linkedBrowser.webNavigation.stop(STOP_ALL);                        workTab.linkedBrowser.addEventListener('pageshow',                     afterWorkTabHasLoaded, false);                                    //this also moves worktab to the same page as the currentTab            tabManager.writeTabHistory(workTab.linkedBrowser.webNavigation);                        dump('end afterWorkTabStopped\n');        }
8270	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8270/fc0224ce5a5df1b69540c6053ddec51df3a8950c/AttackRunner.js/buggy/content/AttackRunner.js