A benchmarking tool for the JVM