hg: jdk/jdk: 8236949: javadoc -Xdoclint does not accumulate options correctly

[jonathan.gibbons at oracle.com]

Changeset: bb83f1dff441
Author:    jjg
Date:      2020-01-30 11:20 -0800
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/bb83f1dff441

8236949: javadoc -Xdoclint does not accumulate options correctly
Reviewed-by: prappo

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlConfiguration.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/HtmlOptions.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/WorkArounds.java
+ test/langtools/jdk/javadoc/doclet/testDocLintOption/TestDocLintOption.java
! test/langtools/jdk/javadoc/tool/treeapi/TestDocTrees.java