Comment received on amber-spec-comments

[Brian Goetz]

The following comment was received on amber-spec-comments:

https://mail.openjdk.java.net/pipermail/amber-spec-comments/2019-August/000028.html