On Fri, 25 Jun 2021 16:34:28 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > One thing, shouldn't that be in JDK 17? You are right. Oh well, I'll backport it once JDK17 is out. Its not such an important fix. ------------- PR: https://git.openjdk.java.net/jdk/pull/4025