log.debug("FLUSH_OK from " + address + ",completed " + flushOkCompleted
if(log.isDebugEnabled()) log.debug("FLUSH_OK from " + address + ",completed " + flushOkCompleted
	private void onFlushOk(Address address, long viewID) {		boolean flushOkCompleted = false;		Message m = null;		synchronized (sharedLock) {			flushOkSet.add(address);			flushOkCompleted = flushOkSet.containsAll(flushMembers);			if(flushOkCompleted)			{				m = new Message(flushCaller,localAddress, null);			}		}		log.debug("FLUSH_OK from " + address + ",completed " + flushOkCompleted				+ ",  flushOkSet " + flushOkSet.toString());		if (flushOkCompleted) {			m.putHeader(getName(), new FlushHeader(FlushHeader.FLUSH_COMPLETED,viewID));			passDown(new Event(Event.MSG, m));			log.debug(localAddress + " sent FLUSH_COMPLETED message to " +flushCaller);		}	}