hg: jdk9/dev/jdk: 8029689: (spec) Reader.read(char[], int, int) throws unspecified IndexOutOfBoundsException

[pavel.rappo at oracle.com]

Changeset: fbdc1331db75
Author:    prappo
Date:      2015-05-12 13:59 +0100
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/fbdc1331db75

8029689: (spec) Reader.read(char[], int, int) throws unspecified IndexOutOfBoundsException
Reviewed-by: chegar, lancea

! 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
+ test/java/io/Reader/ReaderBulkReadContract.java