On 09/06/2020 10:24, Patrick Concannon wrote: > Hi Alan, > > Thanks for spotting this. > > I’ve included the change in the updated webrev below. > http://cr.openjdk.java.net/~pconcannon/8245828/webrevs/webrev.01/ > Looks good. -Alan