Your preferences have been saved!
» Deploy to Tomcat - <?xml version="1.0"?> <project name="envSample" default="deploy" basedir=".">   <!-- Set up the 'env' prefix for environment variables -->   <property environment="env"/>   <!-- Abort the build if TOMCAT_HOME is not set -->   <target name="checkTomcatHome" unless="env.TOMCAT_HOME">     <fail message="TOMCAT_HOME must be set!"/>   </target>   <target name="compile">     <echo>Dummy compile...</echo>... 16 Feb 12