Trying out Tomcat Plugin for gentle shutdown