On Fri, 18 Dec 2020 04:20:39 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Empty comments were being used to stop empty nodes being optimized away in > `HtmlTree.add`, but the empty comments caused annoying noise in the generated > docs. A better solution is to use `HtmlTree.EMPTY`, which had the right > effect, without the unwanted side-effects. Nice to get rid of this. +1 ------------- Marked as reviewed by hannesw (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/1836
