ABC for Java and Testing