On 7/23/19 5:29 PM, Langer, Christoph wrote: > Bug: https://bugs.openjdk.java.net/browse/JDK-8227041 > Webrev: http://cr.openjdk.java.net/~clanger/webrevs/8227041.11u-dev.0/ That looks good. -- Thanks, -Aleksey