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

[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: Use a char[] instead of StringBuilder; expand regression test

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/25863/files
  - new: https://git.openjdk.org/jdk/pull/25863/files/d616c160..0ee3f59c

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

  Stats: 49 lines in 3 files changed: 31 ins; 2 del; 16 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