tomcat/conf/web.xmlで8080を検索して、好きな番号に変更しろや。