no need to restart tomcat
Merge pull request #1868 from geoadmin/mom_tomcat_restart

No need to restart tomcat when deploying