On 10/11/2018 11:52 PM, Roman Kennke wrote: > This is not yet pushed upstream, but we may want to cherry-pick it: > > http://cr.openjdk.java.net/~rkennke/JDK-8212053/webrev.00/ Looks good. Yes, let's do it ahead of time to pick up in backports. -Aleksey