Hi Roger, David, Thanks for the help in improving this. As a record, this webrev shows the version as David suggests: http://cr.openjdk.java.net/~mchung/jdk15/webrevs/8247785/webrev.00/ Mandy On 6/24/20 9:33 AM, Roger Riggs wrote: > Hi Mandy, > > I'm fine with this. > > Roger