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

Reply via email to