On Thu, 10 Nov 2022 15:40:07 GMT, Andrew Dinn <adinn at openjdk.org> wrote: > Looks good. Thanks Andrew! > Is this comment really needed? Probably not. I will remove the comment. ------------- PR: https://git.openjdk.org/jdk/pull/11080