Greek characters in java.lang.String

[Naoto Sato]

+1

Naoto

On 8/9/17 1:54 PM, Jonathan Gibbons wrote:
> The method String.toLowerCase(Locale) contains some Greek letters in its 
> doc comment. But the characters are presented with images, instead of 
> native Unicode characters.
> 
> See 
> http://download.java.net/java/jdk9/docs/api/java/lang/String.html#toLowerCase-java.util.Locale- 
> 
> 
> Has the time come to replace those characters with their Unicode 
> equivalents, expressed with suitable HTML entities?
> 
> -- Jon
>