On Wed, 11 Jan 2023 00:53:21 GMT, Jaikiran Pai <jpai at openjdk.org> wrote: > (Leaky.java line 231 has a typo in a comment, that I think you missed, but that's a trivial thing) Well spotted, I fixed the typo in another place so missed it in Leaky. ------------- PR: https://git.openjdk.org/jdk/pull/11863