From fe85e77f2d880ae08f8cd263d020d49afd6bc974 Mon Sep 17 00:00:00 2001
From: Gintas Grigelionis <gintas@apache.org>
Date: Sat, 19 Aug 2017 23:19:54 +0200
Subject: [PATCH] revert erroneous removal of pathelement, document it

---
 build.xml | 2 ++
 1 file changed, 2 insertions(+)

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"/>