From 5ac708eed73d848c29fa3e5fa44c4bc212d9db9a Mon Sep 17 00:00:00 2001 From: Jonathan Gibbons Date: Fri, 1 Sep 2017 11:54:58 -0700 Subject: [PATCH] 8187021: Remove 2 redundant

tags in java.base API docs Reviewed-by: darcy --- jdk/src/java.base/share/classes/java/io/FileOutputStream.java | 2 +- jdk/src/java.base/share/classes/module-info.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/jdk/src/java.base/share/classes/java/io/FileOutputStream.java b/jdk/src/java.base/share/classes/java/io/FileOutputStream.java index b98549bd11e..c72ac2b6f04 100644 --- a/jdk/src/java.base/share/classes/java/io/FileOutputStream.java +++ b/jdk/src/java.base/share/classes/java/io/FileOutputStream.java @@ -91,7 +91,7 @@ class FileOutputStream extends OutputStream * 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 --git a/jdk/src/java.base/share/classes/module-info.java b/jdk/src/java.base/share/classes/module-info.java index a74879d9311..7628aacf1b4 100644 --- a/jdk/src/java.base/share/classes/module-info.java +++ b/jdk/src/java.base/share/classes/module-info.java @@ -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}