The build is controlled by creating a $tomcat.source/build.properties file. It can be used to redefine any property that is present in build.properties.default and build.xml files. The build.properties file does not exist by default. You have to create it.