Tomcat7停止時にworkディレクトリが問答無用で削除されて、SESSIONS.serやJSPの中間ソースなども全部なくなっちゃうのなんでだろう？とか昨日の夜からはまってた。原因は単なるバグだったのだが、そもそもちょっと古いバージョンのTomcatを使ってたのが間違…