added tomcat redeploy option