--- old/src/java.base/share/classes/java/io/PushbackReader.java 2015-04-20 16:05:43.000000000 +0100 +++ new/src/java.base/share/classes/java/io/PushbackReader.java 2015-04-20 16:05:43.000000000 +0100 @@ -102,6 +102,7 @@ * stream has been reached * * @exception IOException If an I/O error occurs + * @exception IndexOutOfBoundsException {@inheritDoc} */ public int read(char cbuf[], int off, int len) throws IOException { synchronized (lock) {