Withdrawn: 8357996: Use "stdin.encoding" for reading System.in with InputStreamReader/Scanner [tools]

[Volkan Yazici]

On Fri, 30 May 2025 10:46:26 GMT, Volkan Yazici <vyazici at openjdk.org> wrote:

> Passes the `Charset` read from the `stdin.encoding` system property while creating `InputStreamReader` or `Scanner` instances for `System.in`.
> 
> `stdin.encoding` is a recently added property for Java 25 in [JDK-8350703](https://bugs.openjdk.org/browse/JDK-8350703). Employing it throughout the entire code base is addressed by the parent ticket [JDK-8356893](https://bugs.openjdk.org/browse/JDK-8356893). JDK-8357996 this PR is addressing is a sub-task of JDK-8356893 and is concerned with only areas related to tools.

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.org/jdk/pull/25541