RFR: JDK-8268335: Find better way to exclude empty HTML elements [v5]

[Jonathan Gibbons]

On Mon, 14 Mar 2022 18:16:01 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

>> Hannes Wallnöfer has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Introduce Content.isDiscardable()
>
> src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SourceToHTMLConverter.java line 318:
> 
>> 316:                     HtmlIds.forLine(currentLineNo),
>> 317:                     Text.of(utils.replaceTabs(line)));
>> 318:             pre.addUnchecked(anchor);
> 
> Why does this need to be `addUnchecked` ?

Answering myself, the line might be empty.

-------------

PR: https://git.openjdk.java.net/jdk/pull/7159