Index: build.xml =================================================================== --- build.xml (revision 1328436) +++ build.xml (working copy) @@ -71,6 +71,23 @@ + + + + + + + + + + + + + + + + + @@ -339,6 +356,7 @@ + @@ -367,6 +385,54 @@ + + + + + + + + + + + + + Clover not found. Code coverage reports disabled. + + + + + + ################################################################## + Clover not found. + Please specify -Dclover.home=<base of clover installation> + on the command line. + ################################################################## + + + + + + + + + + + + + + + + + + + + + +