String dest = RestartDestinationLocator.getRestartLocation(name, Collections.EMPTY_SET);
String dest = RestartDestinationLocator.getRestartLocation(name, getExcludedNodes());
    public void enter(String name) {      if (isLeader(thisAgent) && isAgent(name)) {        String dest = RestartDestinationLocator.getRestartLocation(name, Collections.EMPTY_SET);        logger.info("Restart agent:" +                    " agent=" + name +                    " origin=" + getLocation(name) +                    " dest=" + dest);        if (name != null && dest != null) {          restartAgent(name, dest);          RestartDestinationLocator.restartOneAgent(dest);        } else {          logger.error("Invalid restart parameter: " +                       " agent=" + name +                       " dest=" + dest);          // If no valid location is returned, restart on this node          if (name != null) {            dest = getLocation(thisAgent);            restartAgent(name, dest);            RestartDestinationLocator.restartOneAgent(dest);          }        }      }    }