RFR: 8358533: Improve performance of java.io.Reader.readAllLines [v2]

[Brian Burkhalter]

> Replaces the implementation `readAllCharsAsString().lines().toList()` with reading into a temporary `char` array which is then processed to detect line terminators and copy non-terminating characters into strings which are added to the list.

Brian Burkhalter has updated the pull request incrementally with one additional commit since the last revision:

  8358533: Improve test and fix the correctness issues it exposed

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/25863/files
  - new: https://git.openjdk.org/jdk/pull/25863/files/c2420432..d5abfa45

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=25863&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=25863&range=00-01

  Stats: 102 lines in 2 files changed: 54 ins; 19 del; 29 mod
  Patch: https://git.openjdk.org/jdk/pull/25863.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/25863/head:pull/25863

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