Add Clover instrumentation.

project.properties

@@ -75,6 +75,18 @@ target.otherclasses.dir=${target.dir}/other-classes
 # Where to find code formatting rules
 jalopy.xml=jalopy.xml
 
+# Where we generate instrumented (Cloverised) classes
+target.clover.dir=${target.dir}/clover
+clover.dbdir=${target.clover.dir}
+clover.dbfile=acegi_security_coverage.db
+clover.initstring=${clover.dbdir}/${clover.dbfile}
+target.clover.html.dir=${target.dir}/clover-reports
+
+# Global property to exclude selected classes from Clover instrumentation.
+# Typically we'll use this to exclude experimental packages from coverage
+# analysis, or classes that are intended to support development.
+clover.excludes=
+
 # ------------------------------------------------------------------------ 
 #     docbook reference documentation
 # - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -