Feature #5893 : adding JunitBenchmarks (so useful !)