RFR: JDK-8258957: DocLint: check for HTML start element at end of body [v2]

[Jonathan Gibbons]

> Please review a moderately simple fix to improve DocLint's checking for empty tags, and in particular, bad use of `<p>` as a paragraph terminator. This will help detect this bad usage at doclint-time, instead of later, with doccheck.
> 
> There was already code to check if tags were empty. (`warnIfEmpty`), and code to check for open tags at the end of the comment. The change is primarily to invoke the "check for open tags" at the end of main body of a comment and at the end of each block tag (i.e including all that allow HTML content in the body of the block tag.) 
> 
> There is a secondary minor edit to check if a tag was empty when auto-closing it.
> 
> The changes discovered 5 instances of bad use of `<p>` in the JDK docs. These are being fixed separately in https://bugs.openjdk.java.net/browse/JDK-8263104

Jonathan Gibbons has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains two additional commits since the last revision:

 - Merge remote-tracking branch 'upstream/master' into trailing-p
 - JDK-8258957: DocLint: check for HTML start element at end of body

-------------

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/2853/files
  - new: https://git.openjdk.java.net/jdk/pull/2853/files/46cc37a6..4003b531

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=2853&range=01
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=2853&range=00-01

  Stats: 57590 lines in 2835 files changed: 35107 ins; 12845 del; 9638 mod
  Patch: https://git.openjdk.java.net/jdk/pull/2853.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/2853/head:pull/2853

PR: https://git.openjdk.java.net/jdk/pull/2853