On Wed, 9 Jun 2021 12:13:20 GMT, Alan Bateman <alanb at openjdk.org> wrote: > Seems to be linked to the wrong issue, the issue you want is JDK-8266036. Yes, sorry for the wrong issue. Fixed now. Thanks for noticing! ------------- PR: https://git.openjdk.java.net/jdk/pull/4428