# HG changeset patch # User jjg # Date 1504292098 25200 # Node ID 2e7eed49959839671e9103bb5bc6d2af6e244bce # Parent 6160b308ed240d6f1609b85bbaa8cf482692d929 8187021: Remove 2 redundant

tags in java.base API docs Reviewed-by: darcy diff -r 6160b308ed24 -r 2e7eed499598 jdk/src/java.base/share/classes/java/io/FileOutputStream.java --- a/jdk/src/java.base/share/classes/java/io/FileOutputStream.java Fri Sep 01 18:18:09 2017 +0100 +++ b/jdk/src/java.base/share/classes/java/io/FileOutputStream.java Fri Sep 01 11:54:58 2017 -0700 @@ -91,7 +91,7 @@ * If the file exists but is a directory rather than a regular file, does * not exist but cannot be created, or cannot be opened for any other * reason then a FileNotFoundException is thrown. - *

+ * * @implSpec Invoking this constructor with the parameter {@code name} is * equivalent to invoking {@link #FileOutputStream(String,boolean) * new FileOutputStream(name, false)}. diff -r 6160b308ed24 -r 2e7eed499598 jdk/src/java.base/share/classes/module-info.java --- a/jdk/src/java.base/share/classes/module-info.java Fri Sep 01 18:18:09 2017 +0100 +++ b/jdk/src/java.base/share/classes/module-info.java Fri Sep 01 11:54:58 2017 -0700 @@ -35,7 +35,7 @@ * The jrt file system can be created by calling * {@link java.nio.file.FileSystems#newFileSystem * FileSystems.newFileSystem(URI.create("jrt:/"))}. - *

+ * *

Tool Guides:
*
{@extLink java_tool_reference java launcher}, * {@extLink keytool_tool_reference keytool}