Hi.

Anyone out there know of a Design by Contract tool for Java?  I know
that iContract was out there for a while.  It got a good review in
Java World and was the tool of choice by the writers of Design by
Contract by Example.  But it seems to have disappeared.

I see that Parasoft offers something called Jcontract, so that's a
possibility.

Any feedback on these or other DbC tools would be much appreciated!

Thanks,

Ken