org_aspectj_tools_ajdoc_BugTest_java
jdk.javadoc.internal.doclets.formats.html.DeprecatedListWriter
private void addIndexLink(DeprecatedAPIListBuilder builder, DeprecatedAPIListBuilder.DeprElementKind kind, Content contentTree) {
        if (builder.hasDocumentation(kind)) {
            HtmlTree li = HtmlTree.LI(this.links.createLink(this.getAnchorName(kind), this.contents.getContent(this.getHeadingKey(kind))));
            contentTree.add(li);
        }
    }
 -> java.util.Map.get(java.lang.Object): java.lang.Object -> java.util.SortedSet.isEmpty(): boolean
 [CALL] [CALL] -> java.util.Map.get(java.lang.Object): java.lang.Object -> java.util.SortedSet.isEmpty(): boolean [EXIT] [EXIT]