A Benchmark of Different Http Clients Running on the JVM