On 2018-07-13 15:04, Alan Bateman wrote: > On 13/07/2018 13:54, Claes Redestad wrote: >> Webrev: http://cr.openjdk.java.net/~redestad/8207235/open.00/ >> Bug: https://bugs.openjdk.java.net/browse/JDK-8207235 > Looks good, thanks for jumping on this one. Thanks, Alan! /Claes