On 25/10/2018 11:05, Chris Hegarty wrote: >> Could I get the following change reviewed please? >> >> http://cr.openjdk.java.net/~michaelm/8212926/webrev.1/index.html >> <http://cr.openjdk.java.net/%7Emichaelm/8212926/webrev.1/index.html> > > I think this is good. Thanks Michael. +1 -- daniel