On Thu, 12 Nov 2020 06:44:27 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote: >> Marked as reviewed by mbaesken (Reviewer). > > Looks good to me ! Meant to comment earlier. Thanks for cleaning this one up! ------------- PR: https://git.openjdk.java.net/jdk/pull/1166