master
Put html and js resources back to their original location. Split backend code so it doesn't modify existing examples. Added a bots.html page for the server push version.
Java-2602 Check spring-websockets PR (#10002)