RFR: 8279031: Add API note to ToolProvider about being reusable/reentrant [v2]

[Christian Stein]

On Mon, 23 May 2022 10:32:09 GMT, Anthony Vanelverdinghe <duke at 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 <dev at 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