Greek characters in java.lang.String

[Jonathan Gibbons]

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