Looks good. StefanK On 2020-04-20 22:47, David Buck wrote: > Hi! > > May I please have a review of the following small fix: > > bug report: > https://bugs.openjdk.java.net/browse/JDK-8234691 > > webrev for review: > http://cr.openjdk.java.net/~dbuck/jdk8234691.0/ > > Cheers, > -Buck