GitHub #225: Use unique file names for dumped classes.

1 files changed, 5 insertions, 1 deletions

diff --git a/org.jacoco.agent.rt/src/org/jacoco/agent/rt/internal/ClassFileDumper.java b/org.jacoco.agent.rt/src/org/jacoco/agent/rt/internal/ClassFileDumper.java
index 84ac5d4c..4da99b7e 100644
--- a/org.jacoco.agent.rt/src/org/jacoco/agent/rt/internal/ClassFileDumper.java
+++ b/org.jacoco.agent.rt/src/org/jacoco/agent/rt/internal/ClassFileDumper.java
@@ -16,6 +16,8 @@ import java.io.FileOutputStream;
 import java.io.IOException;
 import java.io.OutputStream;
 
+import org.jacoco.core.internal.data.CRC64;
+
 /**
  * Internal dumper for class files.
  */
@@ -62,7 +64,9 @@ class ClassFileDumper {
 				localname = name;
 			}
 			outputdir.mkdirs();
-			final File file = new File(outputdir, localname + ".class");
+			final Long id = Long.valueOf(CRC64.checksum(contents));
+			final File file = new File(outputdir, String.format(
+					"%s.%016x.class", localname, id));
 			final OutputStream out = new FileOutputStream(file);
 			out.write(contents);
 			out.close();