docs: public static void setDNSCacheTime (final int nSeconds)
    {
      final String sValue = Integer.toString (nSeconds);
      Security.setProperty ("networkaddress.cache.ttl", sValue);
      Security.setProperty ("networkaddress.cache.negative.ttl", sValue);
      SystemProperties.setPropertyValue ("disableWSAddressCaching", nSeconds == 0);
    }