Java 如何使用Spring Boot覆盖嵌入式Tomcat的websocket.textBufferSize属性？

tomcat 8.5中提到了org.apache.tomcat.websocket.textBufferSize属性。它说：

文本消息的默认缓冲区大小为8192字节。对于web应用程序，可以通过将servlet上下文初始化参数org.apache.tomcat.websocket.textBufferSize设置为所需的字节值来更改此设置

我通过Spring Boot使用嵌入式Tomcat，需要修改init参数。我已经查看了ManagedbySpring引导，但没有在其中找到该参数。我已经将它放在application.yaml中，例如，

org.apache.tomcat.websocket.textBufferSize:40000

，并从tomcat收到一条消息：

解码的文本消息对于输出缓冲区来说太大，并且端点不支持部分消息

这些需要是完整的消息，而不是部分消息

我希望我可以将该属性更改为比Tomcat设置的默认值（8192）更高的值。
您可以在@OnOpen处理程序中的Session（javax.websocket.Session）对象上设置所需的大小，如Session.setMaxTextMessageBufferSize（20000）