if ( cTabItem.isDisposed() || this.stopped )
if (cTabItem.isDisposed() || this.stopped) {
    public void run() {        /* if the tab is already disposed, dont update */        if ( cTabItem.isDisposed() || this.stopped )            return;        this.results = this.core.getResultInfoIntMap();        List list = ( List ) results.get( searchId );        if ( ourTableViewer == null ) {            /* remove the old label "searching..." */            label.dispose();            this.createTable();            ourTableViewer.setInput( list );        }        else {            /*             * has our result changed:             * only refresh the changed items,             * look at API for refresh(false)             */            if ( list != null && list.size() != ourTableViewer.getTableViewer().getTable().getItemCount() ) {                mustRefresh = true;                delayedRefresh();            }        }        /* are we active? set the statusline text */        if ( cTabFolder.getSelection() == cTabItem ) {            SearchTab parent = ( SearchTab ) cTabFolder.getData();            int itemCount = ourTableViewer.getTableViewer().getTable().getItemCount();            this.statusline = "Results: " + itemCount;            parent.getMainTab().getStatusline().update( this.statusline );        }    }