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

[Stuart Marks]

On Fri, 6 Jun 2025 22:07:38 GMT, Stuart Marks <smarks at openjdk.org> wrote:

> 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!

This pull request has now been integrated.

Changeset: c7df72ff
Author:    Stuart Marks <smarks at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/c7df72ff0f8b4e4d4560661b5fe036dc206159ba
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8358809: Improve link to stdin.encoding from java.lang.IO

Reviewed-by: naoto
Backport-of: d024f58e61ec27f6c13fde5dadb95c31875815d6

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

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