A framework and set of utilities for testing concurrent code in Java