Benchmark.getResults(): access results from Java (see #3)