On Mon, 23 May 2022 10:34:51 GMT, Christian Stein <cst...@openjdk.org> wrote:

>> This commit adds an  API note to ToolProvider about being reusable/reentrant.
>
> 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,

-------------

PR: https://git.openjdk.java.net/jdk/pull/8833

Reply via email to