RFR: XXXS: JDK-8213913: Redundant HTML in java.se/module-info.java

[Mandy Chung]

+1

Mandy

On 11/14/18 4:20 PM, Jonathan Gibbons wrote:
> Please review the remove of an unnecessary <P> tag from 
> java.se/module-info.java that is showing up in "tidy" reports by 
> doccheck.
>
> $ hg diff -R open
> diff -r 8934429cfb0b src/java.se/share/classes/module-info.java
> --- a/src/java.se/share/classes/module-info.java Wed Nov 14 16:11:21 
> 2018 -0800
> +++ b/src/java.se/share/classes/module-info.java Wed Nov 14 16:17:37 
> 2018 -0800
> @@ -25,7 +25,6 @@
>
>  /**
>   * Defines the API of the Java SE Platform.
> - * <P>
>   *
>   * <dl>
>   * <dt class="simpleTagLabel" style="font-family:'DejaVu Sans', 
> Arial, Helvetica, sans serif">Optional for the Java SE Platform:</dt>
>
> -- Jon
>
> https://bugs.openjdk.java.net/browse/JDK-8213913
>
>