On Fri, 22 Jul 2022 11:24:33 GMT, Arno Zeller <azeller at openjdk.org> wrote: > record was added with JDK14 I guess. We might have to adopt this to 11. @ArnoZeller how many patches would be involved in this process? ------------- PR: https://git.openjdk.org/jdk11u-dev/pull/1241