On 5/8/19 12:27 PM, Roman Kennke wrote: > Bug: > https://bugs.openjdk.java.net/browse/JDK-8223567 > Webrev: > http://cr.openjdk.java.net/~rkennke/JDK-8223567/webrev.00/ This looks good to me. -Aleksey