On 18/07/2019 15:43, Patrick Concannon wrote: > Oh OK, I didn't realise. Thanks for pointing this out, Alan! > > I've removed the 'othervm' tag, and added it to the new webrev below. > > http://cr.openjdk.java.net/~aefimov/pconcann/8227721/01/ This looks good to me. -Alan