Seems OK. Jan On 13.12.2017 19:56, Robert Field wrote: > [resending with RFR prefix...] > > > Please review by tomorrow 11/14... > > Bug: > > https://bugs.openjdk.java.net/browse/JDK-8188894 > > Webrev: > > http://cr.openjdk.java.net/~rfield/8188894v1.webrev/ > > Thanks, > Robert