git: openjdk/jdk: 8258444: Clean up specifications of java.io.Reader.read(char[], int, int) in subclass overrides

[Brian Burkhalter]

Changeset: 5a9b7010
Author:    Brian Burkhalter <bpb at openjdk.org>
Date:      2021-02-25 16:22:59 +0000
URL:       https://git.openjdk.java.net/jdk/commit/5a9b7010

8258444: Clean up specifications of java.io.Reader.read(char[],int,int) in subclass overrides

Reviewed-by: alanb, rriggs

! src/java.base/share/classes/java/io/BufferedReader.java
! src/java.base/share/classes/java/io/CharArrayReader.java
! src/java.base/share/classes/java/io/FilterReader.java
! src/java.base/share/classes/java/io/InputStreamReader.java
! src/java.base/share/classes/java/io/LineNumberReader.java
! src/java.base/share/classes/java/io/PipedReader.java
! src/java.base/share/classes/java/io/PushbackReader.java
! src/java.base/share/classes/java/io/Reader.java
! src/java.base/share/classes/java/io/StringReader.java