Merge branch 'test' of ssh://git.code.sf.net/p/compassresearch/code into acf_
Model checker handling simpler-register, simpler minimondex, simpelr B & O, dining philosophers.
removed unused class
added check to remove unused warning
removed unused serial
added a cml factory

fix for bug [https://sourceforge.net/p/compassresearch/tickets/86/]
suppressed warnings
removed unused serial
changed console parser to CML parser
removed unused imports
Small adjustments related to stability of the model cehcker.
Merge commit 'a22763449ca36d535347d45c846bf536edfe65da'
Merge commit 'b9464583b5d74eebc0b92280f11541f56474a2cc'
Merge commit 'b3f937b1332a6894fd95fce6cc1603611ec54d71'
Update examples for 0.2.4
Add Examples Compendium
Bump version to 0.2.5-SNAPSHOT
Merged with development, acf_, test and akm for version SNAPSHOT 0.2.5.
added TC test case for ticket 169
Merge branch 'origin/test'