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