Assertion/Proposition framework for Java unit tests (very alpha, and subject to change) - View it on GitHub