Highlighting Counter-Examples in May diagrams

Then GMFDiagramUtils.OpenGMFDiagram sucks and I'll change it :)