git: openjdk/jdk17: 8264843: Javac crashes with NullPointerException when finding unencoded XML in <pre> tag

[Jonathan Gibbons]

Changeset: 0011b52e
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2021-06-17 16:37:35 +0000
URL:       https://git.openjdk.java.net/jdk17/commit/0011b52ee81d88b023f771432abc079c64266578

8264843: Javac crashes with NullPointerException when finding unencoded XML in <pre> tag

Reviewed-by: hannesw

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclint/Checker.java
+ test/langtools/tools/doclint/html/UnknownTagTest.java
+ test/langtools/tools/doclint/html/UnknownTagTest.out