Behavioural change of {@code} regarding Unicode characters?

[Martin Desruisseaux]

Hello

I noticed a behavioural change of {@code} inline tag with Java 10. In
Java versions 5 to 8, text inside {@code} was rendered literally,
including Unicode characters outside ASCII range. But in Java 10,
Unicode characters are replaced by the "\u" escape sequence. For example:

    {@code foo(…)}

Was rendered as foo(…) in HTML javadoc generated by Java 8, but is now
rendered as foo(\u2026) in javadoc generated by Java 10. Is this
behavioural change intentional? I do not see notice about handling of
Unicode characters in [1].

    Martin

P.S.: in the documentation about {@literal}, the link to the {@code} tag
at the end of the paragraph actually references {@link}.

[1] https://docs.oracle.com/javase/10/docs/specs/doc-comment-spec.html#code
[2] https://docs.oracle.com/javase/10/docs/specs/doc-comment-spec.html#literal

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.openjdk.java.net/pipermail/javadoc-dev/attachments/20180514/985ea303/attachment.html>