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

[Jonathan Gibbons]

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