On Mon, 24 Jan 2022 09:44:43 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: > I would like to keep the current implementation as is. Sure. ------------- PR: https://git.openjdk.java.net/jdk/pull/7106