Unit tests for bug reports by Yannick on the cdk-user@ mailing list

Testing the problems reported with CDK 1.4.11.