On Wed, 11 Aug 2021 19:56:42 GMT, Ioi Lam <iklam at openjdk.org> wrote: >> I like the idea of doing this as a separate PR. > > I created https://bugs.openjdk.java.net/browse/JDK-8272343. Thanks! ------------- PR: https://git.openjdk.java.net/jdk/pull/5070