Greek characters in java.lang.String
jonathan.gibbons at oracle.com
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?
More information about the core-libs-dev