Simple robust tomcat stop, deploy, start shell-scripts for CI and development. Maybe production too, if you feel lucky.