The new method java.io.Reader.readAllLines currently reads all remaining characters into a String, converts the String to a Stream<String>, and then to a List<String>. A more efficient implementation should be provided.