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