JVM を終了させるには

昨日から考えていたのですが、今朝ふと思いつきました。

Tomcat は開始するときは startup、終了するときは shutdown を実行するのであったということ。

Tomcat Plug-in では Tomcat を終了させるときには shutdown コマンドに相当するクラスを起動させていたわけですね。

どうりで、終了させるようには見えなかったわけだ。

それが分かったことはよかったのですが...

問題は単に JVM を終了させる手段です。

うーむ、困った。

というわけで PDE と JDT の Javadoc とにらめっこしている今日 1 日なのでした。