From 2f5be23d594049477d4388173bcb889738832bad Mon Sep 17 00:00:00 2001 From: Naoto Sato Date: Tue, 6 May 2025 14:06:26 -0700 Subject: [PATCH] initial commit --- src/java.base/share/classes/java/io/Console.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/java.base/share/classes/java/io/Console.java b/src/java.base/share/classes/java/io/Console.java index 7e4540ecb0636..aaa3ba8dd270b 100644 --- a/src/java.base/share/classes/java/io/Console.java +++ b/src/java.base/share/classes/java/io/Console.java @@ -512,7 +512,7 @@ public void flush() { * Returns the {@link java.nio.charset.Charset Charset} object used for * the {@code Console}. *

- * The returned charset corresponds to the input and output source + * The returned charset is used for interpreting the input and output source * (e.g., keyboard and/or display) specified by the host environment or user, * which defaults to the one based on {@link System##stdout.encoding stdout.encoding}. * It may not necessarily be the same as the default charset returned from