On 6/27/19 11:06 AM, Severin Gehwolf wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8226870 > webrev: http://cr.openjdk.java.net/~sgehwolf/webrevs/JDK-8226870/01/webrev/ Looks good to me. -- Thanks, -Aleksey