Parameterize Spring version and use 4.0.0.RELEASE for websocket