.
.

Merge branch 'master' of https://github.com/remenska/UML2mCRL2

Conflicts:
	Test.mcrl2
	Test.mcrl2_modVisual.mcrl2