On 9/16/18 6:03 AM, Alan Bateman wrote: > > I've put a new webrev here, the only change is the replacement of the > old loop to use contains as you suggested: > http://cr.openjdk.java.net/~alanb/8210496/2/webrev/index.html Looks good. Mandy