Looks good. /Erik On 2019-05-10 09:02, Arthur Eubanks wrote: > > Do you really need to use $(SPACE)? I would expect it to work with > just > removing the quotes. > > You're right, no need for $(SPACE). > Updated webrev: > http://cr.openjdk.java.net/~aeubanks/8223667/webrev.01/index.html