Summary

Make Charset.defaultCharset() return a charset from java.base module for stable system initialization.

Problem

There were situations, such as those mentioned in the PR (https://github.com/openjdk/jdk/pull/12132), in which the default charset initialization was fragile, resulting in the default charset being loaded from the jdk.charsets service provider module.

Solution

Instead of looking for all the charset providers, the initialization of the default charset only loads the standard charset provider that instantiates a charset within java.base module.

Specification

N/A. This is a behavioral change only.