improved/added tests, Changed IllegalStateException back to ContractFailedException
Authored by: gebhard 2009-03-30
Parent: [r4009]
Child: [r4011]