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