> On May 19, 2020, at 9:13 AM, Thomas Schatzl <thomas.schatzl at oracle.com> wrote: > Webrevs: > http://cr.openjdk.java.net/~tschatzl/8245088/webrev.0_to_1/ (diff) > http://cr.openjdk.java.net/~tschatzl/8245088/webrev.1/ (full) > > Thanks, > Thomas Looks good.