spring - Spring アプリケーションは Tomcat 7.0.47 ではロードされていませんが、Tomcat 7.0.34 ではロードされています

Question

Spring Web ソケットのドキュメントSpring WebSocketsで、 20.4.11 の構成とパフォーマンスの下にある以下のコードを見ました。クラスが存在しないだけでなく、メソッドも存在しないことに驚きましたWebSocketTransportRegistration。Spring Web ソケット 4.0.2.RELEASE を使用しています。

@Configuration
@EnableWebSocketMessageBroker
public class WebSocketConfig implements WebSocketMessageBrokerConfigurer {

    @Override
    public void configureWebSocketTransport(WebSocketTransportRegistration registration) {
        registration.setSendTimeLimit(15 * 1000).setSendBufferSizeLimit(512 * 1024);
    }

    // ...
}

私は何が欠けていますか？