defects4J export -p cp.test returns a library that does not exist

[anjiperera]

defects4J export -p cp.test command returns the following classpath when executed for the Math-70 bug. /home/ab/math-70/target/classes:/home/ab/math-70/target/test-classes:/home/ab/defects4j/framework/projects/lib/junit-4.11.jar:/home/ab/math-70/lib/junit-4.4.jar

*math-70 is the directory where the Math-70 bug is checked out. However, the /home/ab/math-70/lib/junit-4.4.jar library does not exist.

Also, I can see this is listed as a dependency in the pom.xml as following.

<dependencies>
    <dependency>
      <groupId>junit</groupId>
      <artifactId>junit</artifactId>
      <version>4.4</version>
      <scope>test</scope>
    </dependency>
  </dependencies>

[rjust]

Thanks for reporting this, @anjiperera!

We will fix the exported classpath. As a workaround, it is safe to assume that the default version of junit (4.11) is sufficient to reproduce the bugs.