On Fri, 17 Mar 2023 07:21:41 GMT, Serguei Spitsyn <sspit...@openjdk.org> wrote:
> Nit: But why don't use longer/better class names? You also might want to make it start with an uppercase letter. ------------- PR: https://git.openjdk.org/jdk/pull/13069
