// Deep clone
env.intendedReceiver = new ArrayList(intendedReceiver.size());
for(int i = 0; i < intendedReceiver.size(); i++) {
AID id = (AID)intendedReceiver.get(i);
env.intendedReceiver.add(id.clone());
}
env.stamps = (ArrayList)stamps.clone();
if (from != null) {