When the javadoc tool generates a page from a html source such as net-properties.html (see below), it takes the content from the source and adds a header (navbar) and footer (bottom navbar). While doing so, it failed to add landmarks as it did when compiling other sources such as package-info.java. This includes the <header> and <main> tags.

As a result, the following docs are missing landmarks:

docs/api/java.base/java/net/doc-files/net-properties.html
docs/api/java.base/java/util/doc-files/coll-overview.html
docs/api/java.base/java/util/doc-files/coll-reference.html
docs/api/java.base/java/util/doc-files/coll-index.html
docs/api/java.base/java/util/doc-files/coll-designfaq.html
docs/api/java.base/java/lang/doc-files/threadPrimitiveDeprecation.html
docs/api/java.base/java/lang/doc-files/ValueBased.html