On 14/01/2020 11:49, Patrick Concannon wrote: > bug: https://bugs.openjdk.java.net/browse/JDK-8237075 > > webrev: http://cr.openjdk.java.net/~pconcannon/8237075/webrevs/webrev.00/ Looks good to me as well. best regards, -- daniel