On 2020-02-06 18:56, Alan Bateman wrote: > On 06/02/2020 12:35, Claes Redestad wrote: >> Webrev: http://cr.openjdk.java.net/~redestad/8237484/open.01/ > This looks good to me. Thanks! /Claes