A testing framework for Java programs.