@Override
  public void retainMembersWithSameOrNewerVersion(Collection<InternalDistributedMember> members,
      KnownVersion version) {
    members.removeIf(id -> id.getVersion().compareTo(version) < 0);
  }
Returns true if this distribution manager has been closed.
geode-core/src/main/java/org/apache/geode/distributed/internal/ClusterDistributionManager.java