RFR: 8029451 : Tidy warnings cleanup for java.util package

[Alan Bateman]

On 05/12/2013 05:30, Sergey Lugovoy wrote:
> Hi all,
> please review the fix
> http://cr.openjdk.java.net/~yan/8029451/webrev.01/
> for
> https://bugs.openjdk.java.net/browse/JDK-8029451
>
> This patch cleanup tidy warnings for generated html documentation, and do
> not affect the appearance of the documentation.
>
In java/util/zip/package.html then I see that the <p> tags have been 
replaced by <br/>. Is that okay in HTML 3.2? I just wonder if it might 
be better to just remove the <p> tags. I don't see a problem with 
changing the spacing of the list items.

-Alan