diff --git a/build.xml b/build.xml
index 660cc8be..b49c0373 100644
--- a/build.xml
+++ b/build.xml
@@ -90,6 +90,8 @@
             <path refid="lib.classpath"/>
         </path>
         <path id="test.classpath">
+            <!-- The element below is used by Jenkins jobs -->
+            <pathelement location="${coverage.classes.dir}"/>
             <fileset dir="${lib.dir}">
                 <include name="*.jar"/>
                 <exclude name="ant.jar"/>