fix from paul for updating labels in EliminateEmptyAlternatives

Author: piameier

src/main/java/org/variantsync/diffdetective/experiments/thesis_pm/Generator.java

@@ -470,7 +470,7 @@ public static <L extends Label> void runPatchers(PatchScenario<L> scenario, Stri
 		// target variants as string if they did not fail.
 		GameEngine[] gameEngineArray = new GameEngine[gameEngine.size()];
 		gameEngineArray = gameEngine.toArray(gameEngineArray);
-//		GameEngine.showAndAwaitAll(gameEngineArray);
+		GameEngine.showAndAwaitAll(gameEngineArray);
 
 		// ## 5. Compare the results of patchers here!
 		System.out.println("mpatch: " + isMpatchCorrect);

src/main/java/org/variantsync/diffdetective/variation/diff/transform/EliminateEmptyAlternatives.java

@@ -1,5 +1,6 @@
 package org.variantsync.diffdetective.variation.diff.transform;
 
+
 import org.prop4j.Node;
 import org.prop4j.NodeWriter;
 import org.variantsync.diffdetective.util.Assert;
@@ -11,7 +12,6 @@
 
 import java.util.ArrayList;
 import java.util.List;
-import java.util.Map;
 
 import static org.variantsync.diffdetective.util.fide.FormulaUtils.*;