On 07/10/2019 12:34, Daniel Fuchs wrote: > Hi Alan, > > Here is the new webrev - I believe I have addressed all your comments: > > http://cr.openjdk.java.net/~dfuchs/webrev_8231260/webrev.01 Thanks for the update, this version looks good to me. -Alan.