hg: jdk/jdk: 8252172: Improve prettiness of printing HTML attributes by DocPretty

[pavel.rappo at oracle.com]

Changeset: 44d4a4d6e8bb
Author:    prappo
Date:      2020-08-28 15:26 +0100
URL:       https://hg.openjdk.java.net/jdk/jdk/rev/44d4a4d6e8bb

8252172: Improve prettiness of printing HTML attributes by DocPretty
Reviewed-by: jjg

! src/jdk.compiler/share/classes/com/sun/source/doctree/AttributeTree.java
! src/jdk.compiler/share/classes/com/sun/source/util/DocTreeFactory.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/tree/DocPretty.java
! test/langtools/tools/javac/doctree/AttrTest.java
! test/langtools/tools/javac/doctree/DocCommentTester.java