Java Contract Suite / News: Recent posts

The codebase has been cleaned up. The next step is to ensure everything works as expected.

The code available on http://www.icontract2.org/ has been released as the Java Contract Suite. The only change is that the classes have been moved to another package.