--- old/src/java.base/share/classes/java/io/FilterReader.java 2015-04-20 16:05:41.000000000 +0100 +++ new/src/java.base/share/classes/java/io/FilterReader.java 2015-04-20 16:05:41.000000000 +0100 @@ -69,6 +69,7 @@ * Reads characters into a portion of an array. * * @exception IOException If an I/O error occurs + * @exception IndexOutOfBoundsException {@inheritDoc} */ public int read(char cbuf[], int off, int len) throws IOException { return in.read(cbuf, off, len);