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

[joe darcy]

Looks fine Jon; thanks,

-Joe


On 8/30/2017 6:31 PM, Jonathan Gibbons wrote:
> 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