Highlighting Counter-Examples in May diagrams

GMFDiagramUtils.OpenGMFDiagram needs absolute URIs. Instead of changing the URI just for that function, I changed it earlier for everything.