我在www.example.com中配置了tomcat maxthreads和corethreadsapplication.properties，我在控制台日志中打印了executor.getMaxPoolSize（）和executor.getCorePoolSize（），但每个server.tomcat.xxxx属性都没有，除了server.port。我该如何解决？

server.port=8081
server.tomcat.threads.max=200
server.tomcat.threads.core=20
server.tomcat.connection-timeout=80000