hg: jdk/submit: 8221871: javadoc should not set role=region on <section> elements

[jonathan.gibbons at oracle.com]

Changeset: 259b40b4d473
Author:    jjg
Date:      2019-04-05 15:57 -0700
URL:       http://hg.openjdk.java.net/jdk/submit/rev/259b40b4d473

8221871: javadoc should not set role=region on <section> elements
Reviewed-by: hannesw

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/markup/HtmlTree.java
! test/langtools/jdk/javadoc/doclet/testHtmlTag/TestHtmlTag.java
! test/langtools/jdk/javadoc/doclet/testHtmlVersion/TestHtmlVersion.java
! test/langtools/jdk/javadoc/doclet/testModules/TestModules.java
! test/langtools/jdk/javadoc/doclet/testUseOption/TestUseOption.java