jdk/src/share/classes/java/io/PipedReader.java
changeset 18156 edb590d448c5
parent 5506 202f599c92aa
child 21334 c60dfce46a77
--- a/jdk/src/share/classes/java/io/PipedReader.java	Mon Jun 10 12:26:20 2013 +0200
+++ b/jdk/src/share/classes/java/io/PipedReader.java	Mon Jun 10 12:58:32 2013 +0100
@@ -91,7 +91,7 @@
      * @param      src       the stream to connect to.
      * @param      pipeSize  the size of the pipe's buffer.
      * @exception  IOException  if an I/O error occurs.
-     * @exception  IllegalArgumentException if <code>pipeSize <= 0</code>.
+     * @exception  IllegalArgumentException if {@code pipeSize <= 0}.
      * @since      1.6
      */
     public PipedReader(PipedWriter src, int pipeSize) throws IOException {
@@ -120,7 +120,7 @@
      * before being used.
      *
      * @param   pipeSize the size of the pipe's buffer.
-     * @exception  IllegalArgumentException if <code>pipeSize <= 0</code>.
+     * @exception  IllegalArgumentException if {@code pipeSize <= 0}.
      * @since      1.6
      */
     public PipedReader(int pipeSize) {