On 15/10/2019 18:46, Brian Burkhalter wrote: > > An updated version which addresses the foregoing points is at > http://cr.openjdk.java.net/~bpb/8162520/webrev.03/. Thanks, that addresses all my issues (although I'm still a bit worried that this one will come back again in the future). -Alan