ページ名の変更

tomcat 4.1.xの名前を変更します。