On Wed, 19 Jul 2023 20:49:06 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Trivial implementation to get feedback on the proposed API. Add code from @lahodaj and make the PR non-draft to continue the discussion. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14939#issuecomment-1689161012