if (isNode(name) || thisAgent.equals(preferredLeader()) ||
if ((isLocal(name) || isNode(name)) || (thisAgent.equals(preferredLeader()) && getState(getLocation(name)) == DEAD) ||
    public void expired(String name) {      //logger.info("Expired Status:" + " agent=" + name + " state=ACTIVE");      if (isNode(name) ||          thisAgent.equals(preferredLeader()) ||          isLeader(name)) {        newState(name, HEALTH_CHECK);      }    }