ページ名の変更

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