On Wed, 1 Oct 2025 10:15:29 GMT, Hannes Wallnöfer <[email protected]> wrote:

>> I avoided adding these in doclet.properties because they would be unused in 
>> the java code and may otherwise trip `CheckResourceKeys`
>
> That should not be a problem, `CheckResourceKeys` has a mechanism to check 
> resource use in `script.js.template`:
> 
> https://github.com/openjdk/jdk/blob/master/test/langtools/jdk/javadoc/tool/CheckResourceKeys.java#L209-L220

Thank you Hannes, I missed this detail.

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

PR Review Comment: https://git.openjdk.org/jdk/pull/26322#discussion_r2405926633

Reply via email to