Does not work. Looks like this is the wrong place for the
org.apache.tomcat.websocket.textBufferSize
parameter
Increase websocket default buffer size. 
Some demos send and receive a lot of data