On Wed, 9 Feb 2022 17:33:32 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > Thumbs up. I have one minor string rename request that you can choose to ignore. Thanks Dan! Your proposal makes sense, I'll change the string before pushing. ------------- PR: https://git.openjdk.java.net/jdk/pull/7378