RFR [15] 8224612: javadoc should better handle empty set of doclet options

Mon Apr 20 13:13:01 UTC 2020

Hi Pavel,

looks good to me. Nice you went the extra mile with random empty set implementation :)

Hannes

> Am 17.04.2020 um 13:17 schrieb Pavel Rappo <pavel.rappo at oracle.com>:
> 
> Hello,
> 
> Please review the change for https://bugs.openjdk.java.net/browse/JDK-8224612:
> 
>  http://cr.openjdk.java.net/~prappo/8224612/webrev.00/
> 
> -Pavel
> 