org_aspectj_tools_ajdoc_BugTest_java
jdk.javadoc.internal.doclets.formats.html.HtmlConfiguration
protected void setCreateOverview() {
        if (!this.nooverview && (this.overviewpath != null || this.modules.size() > 1 || this.modules.isEmpty() && this.packages.size() > 1)) {
            this.createoverview = true;
        }
    }
 -> java.util.SortedSet.size(): int -> java.util.SortedSet.isEmpty(): boolean -> java.util.SortedSet.size(): int
 [CALL] -> java.util.SortedSet.size(): int -> java.util.SortedSet.isEmpty(): boolean -> java.util.SortedSet.size(): int [EXIT]