--- old/src/share/classes/java/io/PipedInputStream.java 2013-06-10 10:37:18.081879851 +0100
+++ new/src/share/classes/java/io/PipedInputStream.java 2013-06-10 10:37:17.813879858 +0100
@@ -117,7 +117,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 pipeSize <= 0
.
+ * @exception IllegalArgumentException if {@code pipeSize <= 0}.
* @since 1.6
*/
public PipedInputStream(PipedOutputStream src, int pipeSize)
@@ -147,7 +147,7 @@
* connected} to a PipedOutputStream
before being used.
*
* @param pipeSize the size of the pipe's buffer.
- * @exception IllegalArgumentException if pipeSize <= 0
.
+ * @exception IllegalArgumentException if {@code pipeSize <= 0}.
* @since 1.6
*/
public PipedInputStream(int pipeSize) {