Errors with 'ant test'

[Zhoulai]

Hello, I  have downloaded jpf-core from the mercurial repo, used 'ant' to build it.

jpf-core compiles well with 'ant'. But if I use 'ant test', I get a large number of errors. I work on Mac OS 10.11 with recent JDK

Java(TM) SE Runtime Environment (build 1.8.0_74-b02)
Java HotSpot(TM) 64-Bit Server VM (build 25.74-b02, mixed mode)

My ANT is:
Apache Ant(TM) version 1.9.3 compiled on December 23 2013

How can I fix the issues (see below)? Thanks.
...........
test:
    [junit] WARNING: multiple versions of ant detected in path for junit
    [junit]          jar:file:/usr/local/Cellar/ant/1.9.3/libexec/lib/ant.jar!/org/apache/tools/ant/Project.class
    [junit]      and jar:file:/Users/zell/Downloads/Solvers%20-%20Main%20Track%20-%20Copies/solvers/AProVE%20NIA%202014/bin/aprove.jar!/org/apache/tools/ant/Project.class
    [junit] Exception in thread "main" java.lang.NoSuchMethodError: org.apache.tools.ant.util.FileUtils.close(Ljava/io/Writer;)V
    [junit]     at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.registerTestCase(JUnitTestRunner.java:1195)
    [junit]     at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.main(JUnitTestRunner.java:921)
    [junit] Running TypeNameTest
    [junit] Tests run: 1, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 0 sec
    [junit] Test TypeNameTest FAILED (crashed)
    [junit] Exception in thread "main" java.lang.NoSuchMethodError: org.apache.tools.ant.util.FileUtils.close(Ljava/io/Writer;)V
    [junit]     at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.registerTestCase(JUnitTestRunner.java:1195)
    [junit]     at org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner.main(JUnitTestRunner.java:921)
    [junit] Running gov.nasa.jpf.ConfigTest
    [junit] Tests run: 1, Failures: 0, Errors: 1, Skipped: 0, Time elapsed: 0 sec
    [junit] Test gov.nasa.jpf.ConfigTest FAILED (crashed)