On Mon, 22 Nov 2021 06:59:38 GMT, Joe Darcy <darcy at openjdk.org> wrote: > Simple formatting cleanup. Looks good. ------------- Marked as reviewed by jlahoda (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/6494