RFR: 8247957: remove doclint support for HTML 4

[Jonathan Gibbons]

On Fri, 13 Nov 2020 02:49:40 GMT, Yoshiki Sato <ysatowse at openjdk.org> wrote:

>> (updating make/common/JavaCompilation.gmk should be done with a separate JBS issue, filed against the build.)
>
> Filed as [JDK-8256313](https://bugs.openjdk.java.net/browse/JDK-8256313).

In javac Arguments class, we should delete these lines at about 855

`
        String format = options.get(Option.DOCLINT_FORMAT);
        if (format != null) {
            doclintOpts.add(DocLint.XHTML_VERSION_PREFIX + format);
        }
`

This could be a separate JBS issue, if you prefer.

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

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