UMB fixes#276

davexparker wants to merge 8 commits into

prismmodelchecker:masterprismmodelchecker/prism:masterfrom

davexparker:umbdavexparker/prism:umbCopy head branch name to clipboard