Output is not valid HTML

[mernst]

When I run ./gradlew htmlSanityCheck on Randoop, the HTML file titled "HTML Sanity Check Results" at ${buildDir}/reports/htmlSanityCheck/index.html contains duplicate labels.

For example, there are two indexXhtml labels.

A related problem is that the report lists two files (from different directories) as "index.html". It's confusing which one is which, and confusing when clicking on the second one (in which htmlSanityCheck reports a problem) leads to the detailed report about the first one (which has no problem). It might be good to differentiate files of the same name in the report.

[ascheman]

@mernst could you please check if the problem still exists?
If yes, could you please provide a little more context, in particular a sample project (it is not clear to me what Randoop means?).

[ascheman]

OK, I see the context in #273