On 27/04/2017 02:49, Jonathan Gibbons wrote:
Updated webrev to address Joe's suggestion to try harder to use {@code} as a substitute for <tt>.The updated version using {@code ... } looks better and also keeps the lines from growing too long.http://cr.openjdk.java.net/~jjg/8179370/webrev.01
-Alan