On Sat, 23 Apr 2022 05:53:17 GMT, David Holmes <dhol...@openjdk.org> wrote:
>> Naoto Sato has updated the pull request incrementally with one additional
>> commit since the last revision:
>>
>> Modified the spec for the new system properties.
>
> src/java.base/share/classes/java/lang/System.java line 774:
>
>> 772: * <td>Character encoding name for {@link System#out
>> System.out}.
>> 773: * The Java runtime can be started with the system property set
>> to {@code UTF-8},
>> 774: * starting it with the property set to another value clears to
>> undefined behavior.
>
> _leads_ to undefined behavior
Good catch! Fixed.
-------------
PR: https://git.openjdk.java.net/jdk/pull/8270
