[jdk19] RFR: 8290625: Test jdk/javadoc/tool/CheckManPageOptions.java after manpage update [v2]

[David Holmes]

On Wed, 20 Jul 2022 10:27:01 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

>> David Holmes has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Use empty list
>
> test/langtools/jdk/javadoc/tool/CheckManPageOptions.java line 69:
> 
>> 67:     static final PrintStream out = System.err;
>> 68: 
>> 69:     List<String> MISSING_IN_MAN_PAGE = List.of("");
> 
> I think this should be just an empty list, i.e. `List.of()`.

Okay - changed. Thanks.

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

PR: https://git.openjdk.org/jdk19/pull/149