On 10/12/2018 17:54, Daniel Fuchs wrote: > Hi Alan, > > Here is an updated webrev that takes into account > your later feedback: > > http://cr.openjdk.java.net/~dfuchs/webrev_8215008/webrev.02/ > This update looks good to me. -Alan