8148775: Spec for j.l.ProcessBuilder.Redirect.DISCARD need to be improved
Reviewed-by: martin
--- 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
*/