diff --git a/build.xml b/build.xml
index 9c96469c98e..33db18c3506 100644
--- a/build.xml
+++ b/build.xml
@@ -257,7 +257,21 @@
 
   <!-- Jenkins tasks -->
   <target name="jenkins-hourly" depends="clean,test,validate,-jenkins-javadocs-lint,-svn-status"/>
-  <target name="jenkins-clover" depends="clean,test,generate-clover-reports"/>
+  
+  <target name="jenkins-clover">
+    <antcall target="-jenkins-clover">
+      <param name="run.clover" value="true"/>
+      <!-- must be 1, as clover does not like parallel test runs: -->
+      <param name="tests.jvms" value="1"/>
+      <!-- Also override some other props to be fast, ignoring what's set on command line: -->
+      <param name="tests.multiplier" value="1"/>
+      <param name="tests.slow" value="false"/>
+      <param name="tests.nightly" value="false"/>
+      <param name="tests.weekly" value="false"/>
+      <param name="tests.multiplier" value="1"/>
+    </antcall>
+  </target>
+  <target name="-jenkins-clover" depends="clean,test,generate-clover-reports"/>
   
   <!-- we need this extra condition, as we want to match only on "true", not solely if property is set: -->
   <property name="disable.javadocs-lint" value="false" />