Steps to recover from a crash of Service Desk's Tomcat