JGiven is a BDD framework for Java