On 20/04/2016 03:35, Robert Field wrote: > Bug: > https://bugs.openjdk.java.net/browse/JDK-8154445 > > Webrev: > http://cr.openjdk.java.net/~rfield/8154445.webrev/ This looks okay to me. -Alan