How to set org.apache.tomcat.websocket.executorCoreSize in springboot app

Question

Tomcat is embedded in springboot. I want to set org.apache.tomcat.websocket.executorCoreSize programmatically. How can I do it? Thanks!