List Tomcat and Jetty Web first.

src/asciidoc/index.adoc

@@ -38972,9 +38972,9 @@ WebSocket clients or to a specific user.
 [[websocket-server]]
 === WebSocket API
 The Spring Framework provides a WebSocket API designed to adapt to various WebSocket engines.
-For example, it runs on WebSocket runtimes such as Tomcat 7.0.47+, GlassFish 4.1+,
+Currently the list includes WebSocket runtimes such as Tomcat 7.0.47+, Jetty 9.1+,
-Undertow 1.0+ (and WildFly 8.0+), WebLogic 12.1.3+ and Jetty 9.1+. Additional support will be
+GlassFish 4.1+, WebLogic 12.1.3+, and Undertow 1.0+ (and WildFly 8.0+). Additional support
-added as more WebSocket runtimes become available.
+may be added as more WebSocket runtimes become available.
 
 [NOTE]
 ====