Fix a warning.

org.fortiss.af3.specification/trunk/src/org/fortiss/af3/specification/modelchecking/af3tonusmv/CounterExampleSimulator.java

@@ -95,15 +95,11 @@ public class CounterExampleSimulator extends ExecutableComponent<IModelElementSp
 	 * @return the list of subExecutables
 	 * @throws ChainTransformationFailedException
 	 */
-	// TODO(VA) Forbidden suppressWarning
-	@SuppressWarnings("unchecked")
 	protected static List<ExecutableComponent<?>> createSubExecutables(Component C)
 			throws ChainTransformationFailedException {
 		ExecutableComponent<?> execComp = getExecutableComponentFor(C);
-		// TODO(VA) Inline singletonList
-		List<?> singletonList = singletonList(execComp);
 
-		return (List<ExecutableComponent<?>>)((List<?>)singletonList(execComp));
+		return singletonList(execComp);
 	}
 
 	/** {@inheritDoc} */