Test library for implementations of Java ExecutorService and friends