It is same as official Tomcat 7 diy https://github.com/openshift-quickstart/openshift-tomcat-quickstart but with WebSockets working