On Tue, 16 Nov 2021 05:25:33 GMT, Jaikiran Pai <j...@openjdk.org> wrote:
>> Fixing the default charset for PrintWriter/OutputStreamWriter that wraps a >> PrintStream to its charset. This issue was raised during the conversations >> in https://github.com/openjdk/jdk/pull/5771 >> A corresponding CSR has also been drafted: >> https://bugs.openjdk.java.net/browse/JDK-8277078 > > src/java.base/share/classes/java/io/PrintStream.java line 71: > >> 69: private boolean trouble = false; >> 70: private Formatter formatter; >> 71: private Charset charset; > > Hello Naoto, should this be formally marked as `final`? Good catch! I will make it `final`. ------------- PR: https://git.openjdk.java.net/jdk/pull/6401
