if (!startupCompleted) setExpiration(name, NEVER);
    public void enter(String name) {      if (doInitialPing() && (          isLeader(thisAgent) || isNode(name) || name.equals(preferredLeader()))) {        doPing(name, DefaultRobustnessController.ACTIVE, DEAD);      }    }