git: openjdk/mobile: 8224613: javadoc should better handle bad options

[duke]

Changeset: 93b0516d
Author:    Pavel Rappo <prappo at openjdk.org>
Date:      2020-05-07 13:59:18 +0000
URL:       https://git.openjdk.java.net/mobile/commit/93b0516d

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