Bug fix: deepCopy of SystemParallel doesn't copy actions - also means actions get lost in digital clocks translation (bug found by Arnd on BRP PTA).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4525 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/parser/ast/SystemParallel.java

@@ -156,11 +156,13 @@ public class SystemParallel extends SystemDefn
 	/**
 	 * Perform a deep copy.
 	 */
+	@SuppressWarnings("unchecked")
 	public SystemDefn deepCopy()
 	{
 		SystemParallel ret = new SystemParallel();
 		ret.setOperand1(getOperand1().deepCopy());
 		ret.setOperand2(getOperand2().deepCopy());
+		ret.actions = (actions == null) ? null : (Vector<String>)actions.clone();
 		ret.setPosition(this);
 		return ret;
 	}