っていうか、「server.xmlの書き換えをAdminToolでするな」という方が正しいか。なぜなら、「せっかくコメントなどで整えられたserver.xmlが、AdminToolを利用するとぐちゃぐちゃに書き換えられて、メンテナンス性が低くなる」から。Tomcatが読めればよい体…