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