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