Code material for the article WebSockets: a Comparison between Open-Source JVM Technologies Benchmarking Ktor Vs Spring Webflux vs Spring MVC