A suite of Java message-passing benchmarks to support the validation of testing models, criteria and tools