if ( arg instanceof ResultInfo ) { cTabFolder.getDisplay().asyncExec( new Runnable() { public void run() { table.update( arg, null ); } } ); return; }
    public void update( Observable o, final Object arg ) {        /* if the tab is already disposed, dont update */        if ( cTabItem.isDisposed() || this.stopped )            return;        /* are we responsible for this update */        if ( ( ( ResultInfoIntMap ) arg ).containsKey( searchId ) )            cTabFolder.getDisplay().asyncExec( this );    }