diff --git a/build.xml b/build.xml
index cb794585bf147b07e9c243d7230744be0f23feca..d9f529871c0bf13e3710fcbeb043e9cd854d60f3 100644
--- a/build.xml
+++ b/build.xml
@@ -614,6 +614,7 @@
         <delete file="debian/files" />
         <delete file="debian/build" />
         <delete file="debian/substvars"/>
+        <delete file="core/java/cobertura.ser"/>
     </target>
 
     <target name="distclean" depends="clean">