On Fri, 23 Oct 2020 12:29:59 GMT, Nils Eliasson <neliasso at openjdk.org> wrote: > Looks good. Thanks! > Remove the additional methods I sent, if you like. Done. ------------- PR: https://git.openjdk.java.net/jdk/pull/834