[jdk25] RFR: 8358809: Improve link to stdin.encoding from java.lang.IO

Fri Jun 6 22:12:40 UTC 2025

Hi all,

This pull request contains a backport of commit [d024f58e](https://github.com/openjdk/jdk/commit/d024f58e61ec27f6c13fde5dadb95c31875815d6) from the [openjdk/jdk](https://git.openjdk.org/jdk) repository.

The commit being backported was authored by Stuart Marks on 6 Jun 2025 and was reviewed by Naoto Sato.

Thanks!

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

Commit messages:
 - Backport d024f58e61ec27f6c13fde5dadb95c31875815d6

Changes: https://git.openjdk.org/jdk/pull/25681/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=25681&range=00
  Issue: https://bugs.openjdk.org/browse/JDK-8358809
  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jdk/pull/25681.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/25681/head:pull/25681

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