The cml interpreter now takes a CmlBehaviorFactory to create the behavior objects. This is a step towards being able to inject a remote cml process into the process tree
The CmlTransitionSet is now an ordered set instead of a normal set. This enables the simulator to take transitions deterministicly. This was not the case before, since a normal set per definition has no order, hence the set iterator returns the elements in a non-deterministic order
cleanup and added comments
refactured out debug print in a seperate method
Merge branch 'origin/akm'
fixed process name display in outline
cleanup of unused imports
cleanedup launching and the associated classes. Some of the classes were dublicated but not used
removed unused import
enabled prob to be used in interpretation.

sync required

overturetool/overture@467d780887fc41afb0202236cb5bdf5e1efaf22c
Merge branch 'origin/test'
Update the cml-examples.zip file
fixed wrong name in astcreator eclipse exclusion
Remove traces of sourceforge.
cleanup
removed CML operation body check. This is a the responsibility of overture
Convert an ARecordInvariantType instantiation over to the factory
Merge commit 'afd3261b5d38d2e9e58692a79f24cecf98155abb' into development
Merge branch 'master' into development
Merge in fault tolerance plugin from André Didier