Hi, On Thu, 2019-01-17 at 15:37 +0100, Aleksey Shipilev wrote: > RFE: > https://bugs.openjdk.java.net/browse/JDK-8217315 > > Fix: > http://cr.openjdk.java.net/~shade/8217315/webrev.01/ looks good to me. Thanks, Thomas