Highlighting Counter-Examples in May diagrams

If you use true as last parameter, you can avoid the previous MultiModelUtils.prependWorkspaceToUri(diagramURI)