if ( table != null ) table.getTable().dispose();
    public void widgetDisposed( DisposeEvent e ) {		/* no longer receive results for this search */		this.unregister();        /* dispose the table */        if ( table != null )            table.getTable().dispose();        /* tell the core to forget the search */        Object[] temp = { new Integer( searchId ), new Byte( ( byte ) 1 ) };        Message message = new EncodeMessage( Message.S_CLOSE_SEARCH, temp );        message.sendMessage( core );        message = null;    }