" isAgent=" + isAgent(name) + " priorState=" + model.getpriorState(name));
" isAgent=" + isAgent(name));
    public void enter(String name) {      logger.info("New state (DEAD):" +                  " name=" + name +                  " preferredLeader=" + thisAgent.equals(preferredLeader()) +                  " isAgent=" + isAgent(name) +                  " priorState=" + model.getpriorState(name));      communityReady = false; // For ACME Community Ready Events      if (thisAgent.equals(preferredLeader()) && isAgent(name)) {        // Interface point for Deconfliction        // If Ok'd by Deconflictor set state to RESTART        if(getDeconflictHelper() != null)          newState(name, DECONFLICT);        else          newState(name, RESTART);        setLocation(name, null);      } else if (isNode(name)) {        setExpiration(name, NEVER);      } else if (isLocal(name)) {        stopHeartbeats(name);      }    }