Tomcat の使っているメモリの状況を外部からモニタしたいと思って調べたところ、いまどきはいろいろと便利なオプションがあることがわかった。自分の脳内は Java 1.4.0 で止まっていたので、いい勉強になった。まず一つは、JAVA_OPTS で設定する内容と、その…