On 8/14/20 2:17 AM, Daniel Fuchs wrote: > new webrev: > http://cr.openjdk.java.net/~dfuchs/webrev_8251160/webrev.01/index.html > +1 > CSR updated as well: > https://bugs.openjdk.java.net/browse/JDK-8251534 > Reviewed. Mandy