On Mon, 29 Jan 2024 23:50:25 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote: >> Probably, yes. > > New class comment added. I can see it and it reads nicely; thanks! ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/16388#discussion_r1484586216