On Mon, 23 May 2022 08:49:27 GMT, Christian Stein <cstein at openjdk.org> wrote: > This commit adds an API note to ToolProvider about being reusable/reentrant. This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/8833