Changed to the latest ProB2 with ExecuteUntilCommand
Merge branch 'master' of github.com:snursmumrik/fmusim-rodin

Conflicts:

ac.soton.fmusim.components.master/src/ac/soton/fmusim/components/master/
Master.java
	ac.soton.fmusim.components.ui/META-INF/MANIFEST.MF