死なないtomcatを強制終了するには

# まずは通常の終了方法を試す。
$ TOMCAT_HOME/bin/shutdown.sh

# プロセスが正常に終了しているか確認。ダメならプロセスIDを指定してkillする。
$ ps -A | grep java
$ kill (プロセスID)

# それでも終了しない頑固なプロセスはKILLシグナルを送って強制終了する。
$ kill -9 (プロセスID)

某社のメンテ中に遭遇。レアケースなのでメモメモ。