On Wed, 25 Jan 2023 07:41:52 GMT, Alan Bateman <al...@openjdk.org> wrote:
> A simpler, and more reliable, would be to change Charset.defaultCharset to > use standardProvider.charsetForName with the value of "file.encoding", and > avoid the provider lookup completely. This is a good observation. The change looks good to me. ------------- PR: https://git.openjdk.org/jdk/pull/12171
