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