Stop tomcat with TERM rather than KILL.