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

[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: Sherman's version + decrease initial buffer size

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/25863/files
  - new: https://git.openjdk.org/jdk/pull/25863/files/3e5e4987..47c8bb97

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

  Stats: 62 lines in 1 file changed: 7 ins; 27 del; 28 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