On 7/29/19 3:49 PM, Severin Gehwolf wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8213561 > webrev: http://cr.openjdk.java.net/~sgehwolf/webrevs/JDK-8213561/jdk8/01/webrev/ > original-changeset: http://hg.openjdk.java.net/jdk/jdk/rev/12e8433e2581 Looks fine. -- Thanks, -Aleksey