我有一个Springboot应用程序，想要更改默认端口，我使用的是kotlin语言。
我已经将其部署在服务器上，并且可以正常工作，但是在本地运行时，会得到以下堆栈跟踪：
org.apache.catalina.LifecycleException：无法启动组件[Connector [HTTP / 1.1-9093]] 在org.apache.catalina.util.LifecycleBase.start（LifecycleBase.java:167）〜[tomcat-embed-core-8.5.34.jar：8.5.34]
加上以下警告消息：
说明：
配置为侦听端口9093的Tomcat连接器无法启动。该端口可能已在使用中，或者连接器配置错误。
操作：
验证连接器的配置，识别并停止正在侦听端口9093的任何进程，或将该应用程序配置为侦听另一个端口。
我已通过application.properties文件更改了端口：
server.port = 9093
我为端口9093选择了一个明确的原因，因为这是我在公司开发服务器上唯一使用的端口，从本地运行切换到运行时，我不想一直更改端口在云中。默认端口8080可以正常工作。
所以我的问题是：本地运行时如何在Springboot中更改默认端口？