Yes. This has been corrected. Mike
On Apr 16 2014, at 08:19 , Martin Desruisseaux <martin.desruisse...@geomatys.fr> wrote: > Hello all > > Le 15/04/14 18:14, Mike Duigou a écrit : >> I have updated the webrev with what I hope is the final form: >> >> http://cr.openjdk.java.net/~mduigou/JDK-8020860/1/webrev/ > > The first changes in the javadoc contains "{@code #keys keys}" and > "{@code #elements elements}". I presume that you mean {@link} instead of > {@code}? > > Martin >