--- a/jdk/src/share/classes/java/util/zip/GZIPInputStream.java	Mon Jun 10 12:26:20 2013 +0200
+++ b/jdk/src/share/classes/java/util/zip/GZIPInputStream.java	Mon Jun 10 12:58:32 2013 +0100
@@ -71,7 +71,7 @@
      * @exception ZipException if a GZIP format error has occurred or the
      *                         compression method used is unsupported
      * @exception IOException if an I/O error has occurred
-     * @exception IllegalArgumentException if size is <= 0
+     * @exception IllegalArgumentException if {@code size <= 0}
      */
     public GZIPInputStream(InputStream in, int size) throws IOException {
         super(in, new Inflater(true), size);