On 21/12/2016 17:52, Brian Burkhalter wrote: > Please review this simple fix at your convenience. > > Issue: https://bugs.openjdk.java.net/browse/JDK-8056205 > Patch: http://cr.openjdk.java.net/~bpb/8056205/webrev.00/ > > This looks good. -Alan