Spec-style testing for Java