Making Jetty WebSocket API Echo Examples more consistent (for doc)