Change of debug port for tomcat