Greek characters in java.lang.String

[Roger Riggs]

+1,
I conjecture that originally, the fonts didn't consistently include Greek.

Roger

On 8/9/2017 5:12 PM, Naoto Sato wrote:
> +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
>>