--- old/src/share/classes/java/io/PushbackInputStream.java	2013-06-10 10:37:20.269879801 +0100
+++ new/src/share/classes/java/io/PushbackInputStream.java	2013-06-10 10:37:19.989879807 +0100
@@ -85,7 +85,7 @@
      *
      * @param  in    the input stream from which bytes will be read.
      * @param  size  the size of the pushback buffer.
-     * @exception IllegalArgumentException if size is <= 0
+     * @exception IllegalArgumentException if {@code size <= 0}
      * @since  JDK1.1
      */
     public PushbackInputStream(InputStream in, int size) {