Modification to StateCondition encoding/decoding.
Fixes and enhancements to AB msgs.
Merge branch 'unstable' of https://github.com/GII/UNIDA into unstable
StateChangeTrigger type size.
Added RandomNumberGenerator axioms to UNIDA-DO.
(Used in unida_java_dummy_gateway example project).
Very small fix to 1.0.1 release.