Martin,
Thanks again for the report and small test case. This is being tracked as:
https://bugs.openjdk.java.net/browse/JDK-8203176
Cause Known; fix may require some consideration.
-- Jon
On 05/14/2018 09:15 AM, Jonathan Gibbons wrote:
Thanks. And, wow! I'll investigate.
-- Jon
On 5/14/18 8:41 AM, Martin Desruisseaux wrote:
Hello Jonathan
Le 14/05/2018 à 16:58, Jonathan Gibbons a écrit :
Can you give a specific example of a comment containing {@code} that
illustrates the issue, showing the exact representation of the
Unicode character?
Attached is an example reproducing the issue. The Java source file
uses UTF-8 encoding. Steps to reproduce (assuming UTF-8 is the system
default encoding):
javac Code.java
javadoc -charset UTF-8 Code.java
Then open the Code.html generated file. The page shows:
Hello World(\u2026).
while the expected result is:
Hello World(…).
The same test with Java 8 shows the expected results.
Regards,
Martin