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