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

[Pavel Rappo]

Hello,

Please review the change for https://bugs.openjdk.java.net/browse/JDK-8224612:

  http://cr.openjdk.java.net/~prappo/8224612/webrev.00/

-Pavel