8148775: Spec for j.l.ProcessBuilder.Redirect.DISCARD need to be improved
authorrriggs
Tue, 16 Feb 2016 11:36:20 -0500
changeset 35978 752d505da547
parent 35977 3490843d28ef
child 35979 4462913d471a
8148775: Spec for j.l.ProcessBuilder.Redirect.DISCARD need to be improved Reviewed-by: martin
jdk/src/java.base/share/classes/java/lang/ProcessBuilder.java
--- a/jdk/src/java.base/share/classes/java/lang/ProcessBuilder.java	Tue Feb 16 07:06:09 2016 +0100
+++ b/jdk/src/java.base/share/classes/java/lang/ProcessBuilder.java	Tue Feb 16 11:36:20 2016 -0500
@@ -553,10 +553,9 @@
          *
          * <p>It will always be true that
          * <pre> {@code
-         * Redirect.DISCARD.file() the filename appropriate for the operating system
+         * Redirect.DISCARD.file() is the filename appropriate for the operating system
          * and may be null &&
-         * Redirect.DISCARD.type() == Redirect.Type.WRITE &&
-         * Redirect.DISCARD.append() == false
+         * Redirect.DISCARD.type() == Redirect.Type.WRITE
          * }</pre>
          * @since 9
          */