git: openjdk/jdk: 8299627: Fix/improve handling of "missing" element-list file

[Jonathan Gibbons]

Changeset: b533272e
Author:    Jonathan Gibbons <jjg at openjdk.org>
Date:      2024-01-16 18:41:25 +0000
URL:       https://git.openjdk.org/jdk/commit/b533272ecb594e918f31b48d7fca6ef62c2cac3f

8299627: Fix/improve handling of "missing" element-list file

Reviewed-by: hannesw

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/Extern.java
+ test/langtools/jdk/javadoc/tool/testExternRedirects/TestExternRedirects.java