Upgrade web socket JSR to latest API, and add better deployment support