Extended the new ACD PDE test.
Extended the new ACD-PDE tests.
Removed unneccessary duplicates in the new ACD PDE tests.
Contracts should indeed fail!
And we should write something to the console in case the writer was not setup.
Added two new testcases for CCDTest.
New JUnit test for ACDCollector that tests the step from the action method connectTypes() to the lattice of ClassDescriptor objects.
Now classname and packagename for a type binding mock can be configured (via method arguments). Still requires to modify the starting point if there are several objects around...