RFR: 8358552: EndOfFileException in System.in.read() and IO.readln() etc. in JShell [v2]

[Christian Stein]

> Please review this change to handle an `EndOfFileException` while reading input from a user console in such a way, that no stacktrace is emitted. The handling of the `Ctrl+D` command is left as-is; here the following underlying core-libs should stay in control:
> 
>  - `System.in.read()`
>  - `System.console().reader().read()`
>  - `System.console().readLine()`
>  - `System.console().readPassword()`
>  - `System.in.readAllBytes()`
>  - `IO.readln()`

Christian Stein has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains two commits:

 - Attempting to tweak behavior
 - 8358552: EndOfFileException in System.in.read() and IO.readln() etc. in JShell

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

Changes: https://git.openjdk.org/jdk/pull/25713/files
  Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=25713&range=01
  Stats: 96 lines in 6 files changed: 64 ins; 5 del; 27 mod
  Patch: https://git.openjdk.org/jdk/pull/25713.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/25713/head:pull/25713

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