rem: workTab.linkedBrowser.webNavigation.stop(STOP_ALL); 
context:         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');        }
meta: 9596	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9596/fc0224ce5a5df1b69540c6053ddec51df3a8950c/AttackRunner.js/buggy/content/AttackRunner.js