On Mon, 2 Jan 2023 07:20:43 GMT, Sergey Bylokhov <serb at openjdk.org> wrote: > Small cleanup, unnecessary semicolons are deleted here and there. Marked as reviewed by stsypanov (Author). ------------- PR: https://git.openjdk.org/jdk/pull/11807