fixed new mapping not showing

"@Matthias Wilhelm hast du den bug im Mapping gefixt bei dem man das
nicht durch ein neies erstetzt wurde?"

scopviz/src/main/java/de/tu_darmstadt/informatik/tk/scopviz/ui/GraphDisplayManager.java

@@ -318,7 +318,12 @@ public final class GraphDisplayManager {
 		}
 		if (mapping == null || !mapping.hasGraphManagerAsParent(underlay)
 				|| !mapping.hasGraphManagerAsParent(operator)) {
-			Debug.out("no Mapping found");
+			if (mapping == null)
+				Debug.out("no Mapping found");
+			else {
+				Debug.out("old Mapping found");
+				vList.remove(mapping);
+			}
 			MyGraph g;
 			g = new MyGraph(getGraphStringID(count));
 			count++;