};
this.staleTableContextTrigger = staleTableContextTrigger;
}
public void leaveTable() throws RemoteException, IllegalActionException {
performer.perform(new LeaveTableAction(generator.getNextID(),tableID));
//TODO synchronization needed?
staleTableContextTrigger.trigger();
}