CHANGED: reimplemented Benchmark.java