On Wed, 25 Jan 2023 18:45:41 GMT, Naoto Sato <na...@openjdk.org> wrote:
> `Charset.defaultCharset()` now uses > `standardProvider.charsetForName(<file.encoding>)` charset. I think this is the right thing to do. It can also be changed to use StaticProperty.fileEncoding() and maybe the field can be changed to be a `@Stable` field. It might be that we will need to create a CSR and Release Note for this change. The scenario is PR 12132 is unfortunate but does not show that some deployments may have been relying on the this from JDK 9 to JDK 17. With the change here, we are doubling now on ensuring that the default charset is loaded from java.base. ------------- PR: https://git.openjdk.org/jdk/pull/12171
