Integrated: 8354213: Restore pointless unicode characters to ASCII

[Magnus Ihse Bursie]

On Wed, 9 Apr 2025 15:17:50 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> I believe the source code of the JDK should be in US-ASCII if possible, and only employ extended characters if that is strictly necessary for the code to work.
> 
> In my attempt to figure out which non-ascii files are another encoding than utf-8 (see [JDK-8301971](https://bugs.openjdk.org/browse/JDK-8301971)), I discovered a handful of files that use unicode characters for no good reason, when normal ASCII characters could have been used (and have been used everywhere else in the code base in similar contexts).

This pull request has now been integrated.

Changeset: 4a242e3a
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/4a242e3a65f13c41c699d42b100ba2b252d7faaa
Stats:     45 lines in 22 files changed: 0 ins; 0 del; 45 mod

8354213: Restore pointless unicode characters to ASCII

Reviewed-by: naoto, erikj, iris

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

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