public void assertQuorumFullyMet(){
  m_triggers.add(new QuorumEventInvariant(QuorumEventEnum.SERVICE_LEAVE,null));
  if (!m_quorum.isQuorumFullyMet(m_quorum.token()))   broken();
}

public void assertQuorumFullyMet ( ) { m_triggers . add ( new QuorumEventInvariant ( QuorumEventEnum . SERVICE_LEAVE , null ) ) ; if ( ! m_quorum . isQuorumFullyMet ( m_quorum . token ( ) ) ) broken ( ) ; }
establish an invariant that the quorum is fully met .
