if (isLocal(name)) { doPing(name, DefaultRobustnessController.ACTIVE, isLeader(name) ? DEAD : HEALTH_CHECK); } else if (isNode(name) || thisAgent.equals(preferredLeader()) || isLeader(name)) {
logger.debug("New state: agent=" + name + " state=HEALTH_CHECK"); if (isNode(name) || thisAgent.equals(preferredLeader()) || isLeader(name)) {
    public void enter(String name) {      if (isLocal(name)) {        doPing(name, DefaultRobustnessController.ACTIVE, isLeader(name) ? DEAD : HEALTH_CHECK);      } else if (isNode(name) ||                 thisAgent.equals(preferredLeader()) ||                 isLeader(name)) {        doPing(name, DefaultRobustnessController.ACTIVE, DEAD);      }    }