--- a/jdk/src/share/classes/java/util/zip/CRC32.java	Thu Aug 15 15:16:31 2013 +0100
+++ b/jdk/src/share/classes/java/util/zip/CRC32.java	Thu Aug 15 10:41:59 2013 -0700
@@ -60,6 +60,11 @@
 
     /**
      * Updates the CRC-32 checksum with the specified array of bytes.
+     *
+     * @throws  ArrayIndexOutOfBoundsException
+     *          if {@code off} is negative, or {@code len} is negative,
+     *          or {@code off+len} is greater than the length of the
+     *          array {@code b}
      */
     public void update(byte[] b, int off, int len) {
         if (b == null) {