Fix: Use property "tomcat.port"=8080|8380, depending on profile.