Test programs for Java