On Mon, 22 Feb 2021 23:27:19 GMT, Brian Burkhalter <b...@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 <b...@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