code: @Override
    public String dnsResolveEx(String host) {
      StringBuilder result = new StringBuilder();
      try {
        InetAddress[] list = InetAddress.getAllByName(host);
        for (InetAddress inetAddress : list) {
          result.append(inetAddress.getHostAddress());
          result.append("; ");
        }
      } catch (UnknownHostException e) {
        log.log(Level.FINE, "DNS name not resolvable {0}.", host);
      }
      return result.toString();
    }
docs: ***********************************************************************
  dnsResolveEx
  
  @see com.btr.proxy.selector.pac.ScriptMethods#dnsResolveEx(java.lang.String)
  **********************************************************************