package jkind.engines.messages;

import java.util.List;


public class BaseStepMessage extends Message {
	public final int step;
	public final List<String> properties;

	public BaseStepMessage(int step, List<String> properties) {
		this.step = step;
		this.properties = properties;
	}

	@Override
	public void accept(MessageHandler handler) {
		handler.handleMessage(this);
	}
}

@@ -50,16 +50,40 @@
 .List;%0A%0A
+import jkind.util.Util;%0A
 %0Apublic 
@@ -287,16 +287,30 @@
 rties = 
+Util.safeCopy(
 properti
@@ -311,16 +311,17 @@
 operties
+)
 ;%0A%09%7D%0A%0A%09@

Fix race condition