Bump org.apache.tomcat.embed:tomcat-embed-websocket from 10.1.30 to 10.1.31 in the development-dependencies group#9552