On 5/22/19 1:35 PM, Roman Kennke wrote: > Webrev: > http://cr.openjdk.java.net/~rkennke/JDK-8224584/webrev.00/ I looked at this patch multiple times over the last weeks, and it still looks good to me. -Aleksey