git: openjdk/mobile: 8224612: javadoc should better handle empty set of doclet options

[duke]

Changeset: 392b75d1
Author:    Pavel Rappo <prappo at openjdk.org>
Date:      2020-04-21 20:09:49 +0000
URL:       https://git.openjdk.java.net/mobile/commit/392b75d1

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