tomcat.dist=${user.home}/downloads/jakarta-tomcat-5.0.30.zip
install.src=${maven.build.dir}/src
ant.home=/usr/share/ant