code: private static String getDNS(String service, String base) {
          if (base == null) {
              base = DEFAULT_DNS;
          }
          
          return String.format(DNS_NAME_FORMAT, service, base);
      }
docs: This generates a domain name for the given service.
  
  @param service
  the service to connect to
  @param base
  the suffix to use
  @return the domain name