RFR: JDK-8290845: Consider an alternative item separator for multi-item option values

[Pavel Rappo]

On Tue, 15 Nov 2022 23:22:53 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> Please review a medium simple update to prefer the use of comma (`,`) instead of colon (`:`) in certain options taking a list of values.    Options taking a search path (like `--class-path`, `--source-path`, etc) are **not** affected.
>
> 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();
> 
> What's that about? It seems unrelated.

It's as if this mainline commit somehow got into this PR: https://github.com/openjdk/jdk/commit/82f9819eaccd091c9d3a0b89979ddc13b1ef761c

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

PR: https://git.openjdk.org/jdk/pull/11178