private static String getDNS ( String service , String base ) { if ( base == null ) { base = DEFAULT_DNS ; } return String . format ( DNS_NAME_FORMAT , service , base ) ; }
This generates a domain name for the given service .