Can I ask JUnit to generate a summary from the command line, without the JUnit ant task?
<target name="junit" depends="compile, compile-tests">
    <junit printsummary="yes" fork="yes">
        <classpath>
            <!-- classpath entries -->
        </classpath>
        <formatter type="xml" />
        <test name="path.to.test.suite.AllTests" />
        <jvmarg value="-javaagent:/path/to/jmockit/jmockit.jar" />
    </junit>
</target>

<target name="run-instrumented" depends="compile-instrumented">
    <java fork="true" classname="org.codecover.junit4.core.TestRunner">
        <classpath>
            <!-- classpath entries -->
        </classpath>
        <jvmarg value="-Dorg.codecover.coverage-log-file=test.clf" />
        <jvmarg value="-javaagent:/path/to/jmockit/jmockit.jar" />
        <arg value="path.to.test.suite.AllTests" />
    </java>
</target>