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