hg: jdk/jdk: 8224612: javadoc should better handle empty set of doclet options

[pavel.rappo at oracle.com]

Changeset: bc7da0396e6c
Author:    prappo
Date:      2020-04-21 20:09 +0100
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/bc7da0396e6c

8224612: javadoc should better handle empty set of doclet options
Reviewed-by: hannesw

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Start.java
+ test/langtools/jdk/javadoc/tool/8224612/OptionsTest.java