Seems OK to me. Jan On 13.6.2017 00:44, Robert Field wrote: > Please review -- > > Bug: > > https://bugs.openjdk.java.net/browse/JDK-8180510 > > Webrev: > > http://cr.openjdk.java.net/~rfield/8180510v0.webrev/ > > Thanks, > Robert >