On Mon, 23 May 2022 10:32:09 GMT, Anthony Vanelverdinghe
<d...@openjdk.java.net> wrote:
>> Christian Stein has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> Update src/java.base/share/classes/java/util/spi/ToolProvider.java
>>
>> Co-authored-by: Anthony Vanelverdinghe <d...@anthonyv.be>
>
> src/java.base/share/classes/java/util/spi/ToolProvider.java line 57:
>
>> 55: * reusable and reentrant, or should clearly document any limitations and
>> 56: * restrictions. In this context, reusable means that any one instance of
>> 57: * a tool may be a the target of multiple {@code run} method invocations,
>
> Suggestion:
>
> * a tool may be the target of multiple {@code run} method invocations,
Thank you, Anthony.
-------------
PR: https://git.openjdk.java.net/jdk/pull/8833
