code: public String getShortDescription() {
          StringBuilder serverDescriptions = new StringBuilder();
          String delimiter = "";
          for (final ServerDescription cur : this.serverDescriptions) {
              serverDescriptions.append(delimiter).append(cur.getShortDescription());
              delimiter = ", ";
          }
          if (srvResolutionException == null) {
              return format("{type=%s, servers=[%s]", type, serverDescriptions);
          }  else {
              return format("{type=%s, srvResolutionException=%s, servers=[%s]", type, srvResolutionException, serverDescriptions);
          }
      }
docs: Returns a short, pretty description for this ClusterDescription.
  
  @return a String describing this cluster.