Hi Ian,
I'm just curious: Do you need to shutdown your tomcat regularly? What is your use case?
Cheers
Erik