On Thu, 30 Sep 2021 01:22:56 GMT, Bradford Wetmore <wetmore at openjdk.org> wrote: > See comment, + a couple minor cleanups. Looks good. ------------- Marked as reviewed by jnimeh (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/5765