+1 Thanks, David On 28/07/2020 5:36 pm, Aleksey Shipilev wrote: > On 7/28/20 9:32 AM, Reingruber, Richard wrote: >> Webrev: http://cr.openjdk.java.net/~rrich/webrevs/8250610/webrev.0/ >> Bug: https://bugs.openjdk.java.net/browse/JDK-8250610 > > Looks good. >