Details
-
Enhancement
-
Resolution: Won't Do
-
Major
-
23.0.0.Final
-
None
-
Undefined
Description
Given that Java identifiers can only contain letters, numbers, _ and $, we can use more efficient US_ASCII or ISO_LATIN encoding, rather than UTF-8.