Use more aggressive Tomcat/Jetty self-healing to avoid stuck processes.