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

[Brian Burkhalter]

On Mon, 22 Feb 2021 23:27:19 GMT, Brian Burkhalter <bpb at openjdk.org> wrote:

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

This pull request has now been integrated.

Changeset: 5a9b7010
Author:    Brian Burkhalter <bpb at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/5a9b7010
Stats:     156 lines in 9 files changed: 41 ins; 55 del; 60 mod

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

Reviewed-by: alanb, rriggs

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

PR: https://git.openjdk.java.net/jdk/pull/2680