In java.rmi module-info.java, there is an unnecessary <p> before a <dl>.

This shows up as the one and only warning reported by tidy for the java.rmi module.


 * <p>
 * <dl style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">
 * <dt class="simpleTagLabel">Tool Guides:</dt>
 * <dd> {@extLink rmiregistry_tool_reference rmiregistry},
 * {@extLink rmid_tool_reference rmid}
 * </dd>
 * </dl>

It would be good to delete this line and give the module a clean bill of health for its docs.