On Mon, 2 May 2022 20:18:31 GMT, Boris Ulasevich <bulasevich at openjdk.org> wrote: > though, I feel it should be a separate change. Yes, it should be separate change. ------------- PR: https://git.openjdk.java.net/jdk/pull/8341