RFR: JDK-8187021: Remove 2 redundant <p> tags in java.base API docs

Jonathan Gibbons jonathan.gibbons at oracle.com
Thu Aug 31 01:31:12 UTC 2017


Please review this small fix to remove two redundant <p> tags from the 
java.base
API docs. This fix will address the remaining issues reported by tidy 
for this module.

JBS: https://bugs.openjdk.java.net/browse/JDK-8187021

No webrev; here is the patch:

$ hg diff -R jdk
diff -r 5a28f7ef36da 
src/java.base/share/classes/java/io/FileOutputStream.java
--- a/src/java.base/share/classes/java/io/FileOutputStream.java    Wed 
Aug 30 12:46:53 2017 -0700
+++ b/src/java.base/share/classes/java/io/FileOutputStream.java    Wed 
Aug 30 18:24:48 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 <code>FileNotFoundException</code> is thrown.
-     * <p>
+     *
       * @implSpec Invoking this constructor with the parameter {@code 
name} is
       * equivalent to invoking {@link #FileOutputStream(String,boolean)
       * new FileOutputStream(name, false)}.
diff -r 5a28f7ef36da src/java.base/share/classes/module-info.java
--- a/src/java.base/share/classes/module-info.java    Wed Aug 30 
12:46:53 2017 -0700
+++ b/src/java.base/share/classes/module-info.java    Wed Aug 30 
18:24:48 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:/"))}.
- *      <p></dd>
+ *      </dd>
   * <dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, 
Helvetica, sans serif">Tool Guides:</dt>
   * <dd style="font-family:'DejaVu Sans', Arial, Helvetica, sans 
serif"> {@extLink java_tool_reference java launcher},
   *      {@extLink keytool_tool_reference keytool}</dd>


-- Jon


More information about the core-libs-dev mailing list