On 22/03/2018 20:33, Phil Race wrote: > bug: https://bugs.openjdk.java.net/browse/JDK-8200129 > webrev: http://cr.openjdk.java.net/~prr/8200129/ > This looks okay to me. -Alan