Greek characters in java.lang.String

Jonathan Gibbons jonathan.gibbons at
Wed Aug 9 20:54:59 UTC 2017

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.


Has the time come to replace those characters with their Unicode 
equivalents, expressed with suitable HTML entities?

-- Jon

More information about the core-libs-dev mailing list