A Java micro-benchmark program runner.