On Mon, 7 Dec 2020 10:04:48 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: >> Marked as reviewed by goetz (Reviewer). > > Looks good, Trivial change, build fix. Thanks for the review! ------------- PR: https://git.openjdk.java.net/jdk/pull/1660