hg: code-tools/doccheck: update, including improved checking for headings

[jonathan.gibbons at oracle.com]

Changeset: 4f5a15d43d22
Author:    jjg
Date:      2019-03-20 14:48 -0700
URL:       http://hg.openjdk.java.net/code-tools/doccheck/rev/4f5a15d43d22

update, including improved checking for headings

! src/classes/doccheck/HtmlChecker.java
! src/classes/doccheck/HtmlFileChecker.java
! src/classes/doccheck/Log.java
! src/classes/doccheck/accessibility/AccessibilityChecker.java