newState(preferredLeader(), RESTART);
  public void leaderChange(String priorLeader, String newLeader) {    logger.info("LeaderChange: prior=" + priorLeader + " new=" + newLeader);    if (isLeader(thisAgent) && model.getCurrentState(preferredLeader()) == DEAD) {    }    checkCommunityReady();  }