GitHub #225: Use unique file names for dumped classes.
Merge pull request #225 from jacoco/issue-225

The class dumped by jacocoagent with same name will be replaced