if (!startupCompleted) setExpiration(name, NEVER);
if (!startupCompleted) { setExpiration(name, NEVER); logger.info("New state: agent=" + name + " state=INITIAL" + " expiration=" + model.getStateExpiration(name)); }
    public void enter(String name) {      if (!startupCompleted) setExpiration(name, NEVER);      if (doInitialPing() && (          isLeader(thisAgent) || isNode(name) || name.equals(preferredLeader()))) {        doPing(name, DefaultRobustnessController.ACTIVE, DEAD);      }    }