diff --git a/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java b/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java
index 495428194cefa91a136bb6644aa49a1a5f7270a5..b5fbdd2ea8dba64636fc03ba9a3813965e7df46a 100644
--- a/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java
+++ b/de.prob.ui/src/de/prob/ui/ltl/CounterExamplePropositionFigure.java
@@ -95,12 +95,7 @@ public abstract class CounterExamplePropositionFigure extends Figure implements
 			final IFigure parent = getParent();
 
 			if (parent != null) {
-				// We know that each element is of type
-				// IFigure, but IFigure.getParent() returns just a list
-				@SuppressWarnings("unchecked")
-				final List<IFigure> figures = parent.getChildren();
-
-				for (IFigure figure : figures) {
+				for (IFigure figure : parent.getChildren()) {
 					if (figure instanceof CounterExamplePropositionFigure) {
 						if (((CounterExamplePropositionFigure) figure)
 								.getModel().equals(proposition)) {
diff --git a/de.prob.ui/src/de/prob/ui/ltl/CounterExampleTab.java b/de.prob.ui/src/de/prob/ui/ltl/CounterExampleTab.java
index 038ed22b66e301b266b548f92473c374914099e8..b1ccd579a86b27a4c258a3d65fead156b7beb64d 100644
--- a/de.prob.ui/src/de/prob/ui/ltl/CounterExampleTab.java
+++ b/de.prob.ui/src/de/prob/ui/ltl/CounterExampleTab.java
@@ -310,12 +310,7 @@ public class CounterExampleTab {
 
 			treeViewer.refresh();
 			tableViewer.refresh();
-			// We know that each element is of type
-			// EditPart, but AbstractEditPart.getChildren() returns just
-			// a list
-			@SuppressWarnings("unchecked")
-			List<EditPart> children = rootEditPart.getChildren();
-			for (EditPart child : children) {
+			for (EditPart child : rootEditPart.getChildren()) {
 				child.refresh();
 			}