Seems OK. Jan On 23.9.2016 22:18, Robert Field wrote: > Please review -- > > Bug: > https://bugs.openjdk.java.net/browse/JDK-8166589 > > Webrev: > http://cr.openjdk.java.net/~rfield/8166589v0.webrev/ > > Thanks, > Robert >