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
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'
fixed wrong name in astcreator eclipse exclusion