Seems OK to me. Jan On 9.4.2017 23:00, Robert Field wrote: > Please review, as soon as possible. > > Bug: > > https://bugs.openjdk.java.net/browse/JDK-8178023 > > Webrev: > > http://cr.openjdk.java.net/~rfield/8178023v0.webrev/ > > Thanks, > Robert >