#
#   by default assume that all necessary dependencies
#      are relative to the user's home directory
#
lib.home.dir=${user.home}
jakarta.oro.jar=${lib.home.dir}/jakarta-oro-2.0.8/jakarta-oro-2.0.8.jar
clover.jar="${lib.home.dir}/clover-1.3.8/lib/clover.jar
deprecation=on

# junit must be on the classpath! It can't be handled as a property.