On 10/17/2018 11:48 AM, Roman Kennke wrote: > Bug: > https://bugs.openjdk.java.net/browse/JDK-8212186 > Webrev: > http://cr.openjdk.java.net/~rkennke/JDK-8212186/webrev.00/ Looks good to me too. -Aleksey