hg: jdk/jdk: 8224613: javadoc should better handle bad options

[pavel.rappo at oracle.com]

Changeset: 55c54c172331
Author:    prappo
Date:      2020-05-07 13:59 +0100
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/55c54c172331

8224613: javadoc should better handle bad options
Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/JavadocTool.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Main.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Start.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/ToolOptions.java
+ test/langtools/jdk/javadoc/tool/8224613/OptionProcessingFailureTest.java