A simple micro-benchmarking library for Java