RFR: JDK-8184217: Redundant <p> tag before list

[Lance Andersen]

+1

> On Jul 24, 2017, at 4:44 PM, Jonathan Gibbons <jonathan.gibbons at oracle.com> wrote:
> 
> Please review a small fix to the documentation for the java.rmi module.
> 
> No webrev; here is the patch to remove an unnecessary line:
> 
> $ hg diff -R jdk
> diff -r 13119f57b8da src/java.rmi/share/classes/module-info.java
> --- a/src/java.rmi/share/classes/module-info.java    Mon Jul 24 10:18:33 2017 -0400
> +++ b/src/java.rmi/share/classes/module-info.java    Mon Jul 24 13:37:15 2017 -0700
> @@ -31,7 +31,6 @@
>  * object registry, and the <em>{@index rmid rmid tool}</em> tool to start
>  * the activation system daemon.
>  *
> - * <p>
>  * <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
>  * <dt class="simpleTagLabel">Tool Guides:</dt>
>  * <dd> {@extLink rmiregistry_tool_reference rmiregistry},
> 
> JBS: https://bugs.openjdk.java.net/browse/JDK-8184217
> 
> -- Jon

 <http://oracle.com/us/design/oracle-email-sig-198324.gif>
 <http://oracle.com/us/design/oracle-email-sig-198324.gif> <http://oracle.com/us/design/oracle-email-sig-198324.gif>
 <http://oracle.com/us/design/oracle-email-sig-198324.gif>Lance Andersen| Principal Member of Technical Staff | +1.781.442.2037
Oracle Java Engineering 
1 Network Drive 
Burlington, MA 01803
Lance.Andersen at oracle.com <mailto:Lance.Andersen at oracle.com>