On 04/10/2016 01:13, Brian Burkhalter wrote: > Please review this minor change at your convenience. > > Issue: https://bugs.openjdk.java.net/browse/JDK-8167058 > Patch: http://cr.openjdk.java.net/~bpb/8167058/ > Looks fine.