On 20/10/2022 01:05, Reinier Zwitserloot wrote:
:
JDK18 brought JEP400 which changes the default charset encoding to
UTF-8. This, probably out of necessity, goes quite far, in that
|Charset.defaultCharset()| is now more or less a constant - always
returns UTF_8. It’s now quite difficult to r
PREAMBLE: Due to not being sure where to post it, this was posted to
amber-dev before. I have updated it to take into account Ron Pressler’s
notes on System.console, and Brian Goetz’s notes on steering clear of
shoving deadlines in debate posts like this one.
—
JDK18 brought JEP400 which changes
