昨日から考えていたのですが、今朝ふと思いつきました。
Tomcat は開始するときは startup、終了するときは shutdown を実行するのであったということ。
Tomcat Plug-in では Tomcat を終了させるときには shutdown コマンドに相当するクラスを起動させていたわけですね。
どうりで、終了させるようには見えなかったわけだ。
それが分かったことはよかったのですが...
問題は単に JVM を終了させる手段です。
うーむ、困った。
というわけで PDE と JDT の Javadoc とにらめっこしている今日 1 日なのでした。