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