On Mon, 2 Nov 2020 19:52:37 GMT, Martin Doerr <mdoerr at openjdk.org> wrote: > Thanks for reducing overloaded versions of it. Looks good. Thanks Martin! ------------- PR: https://git.openjdk.java.net/jdk/pull/1018