On 25/10/2019 19:42, Lance Andersen wrote: > > I have updated the patch per your suggestion. > > The updated webrev can be found at: > http://cr.openjdk.java.net/~lancea/8231451/webrev.02/index.html > This version looks good. -Alan