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.