A Testing Suite for Java