I have filed the CSR:
https://bugs.openjdk.java.net/browse/JDK-8230965
> On 13 Sep 2019, at 11:21, Pavel Rappo <[email protected]> wrote:
>
> Here's the latest webrev accumulating all the changes we've discussed so far:
>
> http://cr.openjdk.java.net/~prappo/8228580/webrev.03/
>
> If people are okay with that I will proceed to creating a CSR.
>
>> On 12 Sep 2019, at 20:06, Alan Bateman <[email protected]> wrote:
>>
>> On 12/09/2019 12:41, Chris Hegarty wrote:
>>> Here is an initial attempt to document these timeout/retry properties. It’s
>>> effectively the wording lifted from the tech notes [1], with “UDP” removed.
>> Thanks, this look and dropping the reference to "UDP" make sense.
>>
>> One minor nit is that "are relevant to the DNS provider" might be better
>> worded as "may be used when creating the initial context". This will fit
>> nicely if/when someone adds a description to the @provides tag. At some
>> point I hope the other properties can be used too but that is beyond the
>> scope of JDK-8228580.
>>
>> -Alan
>