org_aspectj_tools_ajdoc_BugTest_java
org.aspectj.tools.ajdoc.Main$1
@Override
    public boolean accept(File f) {
        return f.getName().equals("package-summary.html");
    }
 -> java.io.File.getName(): java.lang.String -> java.lang.String.equals(java.lang.Object): boolean
 [CALL] -> java.io.File.getName(): java.lang.String -> java.lang.String.equals(java.lang.Object): boolean [EXIT]