Provide orderly shutdown from managed Tomcat process