On 20/12/2019 11:43, Daniel Fuchs wrote: > > Done: http://cr.openjdk.java.net/~dfuchs/webrev_8208281/webrev.01/ I assume L356 needs to change too as peer will already be declared. Otherwise looks fine, no need for another webrev. -Alan