There is an unnecessary <p> before the list of tool guides in docs/api/java.scripting-summary.html, originating in src/java.scripting/share/classes/module-info.java

$ hg diff -R jdk
diff -r d93f2fd542b7 src/java.scripting/share/classes/module-info.java
--- a/src/java.scripting/share/classes/module-info.java Tue Jul 25 18:36:19 2017 -0700
+++ b/src/java.scripting/share/classes/module-info.java Wed Jul 26 11:49:07 2017 -0700
@@ -31,7 +31,6 @@
  * that supports executing JavaScript and other languages if its corresponding
  * script engine is installed.
  *
- * <p>
  * <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
  * <dt class="simpleTagLabel">Tool Guides:
  * <dd> {@extLink jrunscript_tool_reference jrunscript}</dd>