document.write('
Data hosted with ♥ by Pastebin.com - Download Raw - See Original
  1.     <property name="url" value="http://localhost:8000/manager" />
  2.     <property name="username" value="admin" />
  3.     <property name="password" value="tomcatadmin" />
  4.     <property name="path" value="/" />
  5.     <taskdef name="reload" classname="org.apache.catalina.ant.ReloadTask" />
  6.  
  7.     <target name="reload" description="Reload web application">
  8.         <reload url="${url}" username="${username}" password="${password}" path="${path}" />
  9.     </target>
');