Seems OK. Jan On 11.11.2016 19:08, Robert Field wrote: > Please review. > > Bug: > https://bugs.openjdk.java.net/browse/JDK-8166333 > > Webrev: > http://cr.openjdk.java.net/~rfield/8166333v1.webrev/ > > Thanks, > Robert >