Seems OK. Jan On 13.1.2017 23:13, Robert Field wrote: > Please review: > > Bug: > > https://bugs.openjdk.java.net/browse/JDK-8172179 > > Webrev: > > http://cr.openjdk.java.net/~rfield/8172179v0.webrev/ > > Thanks, > Robert >