public void msgTableIsFree(Waiter waiter, Customer customer, int tableNumber) {//from animation
		MyCustomer cust = new MyCustomer(null);
		synchronized(myWaiters)
		{
		for (MyWaiter wait: myWaiters)
		{
			synchronized(wait.customers)
			{
			for (MyCustomer c: wait.customers)
			{
				if (c.cust==customer)
				{
					cust = c;
				}
			}
			}
			synchronized(waitingSpots)
			{
			for (WaitingSpot spot: waitingSpots)
			{
				if (spot.equals(cust.waitingLocation))
				{
					spot.isOccupied=false;
				}
			}
			}
			wait.customers.remove(cust);
		}
		}
		synchronized(myTables)
		{
		for (Table table : myTables) 
		{
			if (table.tableNumber==tableNumber)
			{
				table.isOccupied=false;
			}
		}
		}
		stateChanged();
	}