On 2020-05-19 15:13, Thomas Schatzl wrote: > Hi Kim, Stefan, > > thanks for your reviews. > > Webrevs: > http://cr.openjdk.java.net/~tschatzl/8245088/webrev.0_to_1/ (diff) > http://cr.openjdk.java.net/~tschatzl/8245088/webrev.1/ (full) Looks good, StefanJ > > Thanks, > Thomas > >