В настоящее время я использую stubrunner.jar, который находится по адресу: https://github.com/spring-cloud/spring-cloud-contract/tree/master/spring-cloud-contract-stub-runner
Кажется, нет способа изменить порт Tomcat (не порт заглушки), как в обычном приложении с весенней загрузкой. Передача -Dserver.port = 7777 отклонена.
Есть ли способ изменить хост-порт tomcat?
Да, оказывается, вы можете. Проходил --Dserver.port = 7777, когда это должно было быть --server.port = 7777