RFR: 8247957: remove doclint support for HTML 4

[Yoshiki Sato]

On Thu, 26 Nov 2020 21:25:11 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> 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.

Filed as [JDK-8257204](https://bugs.openjdk.java.net/browse/JDK-8257204).

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

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