On Fri, 17 Mar 2023 07:21:41 GMT, Serguei Spitsyn <sspitsyn at 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