// Read in the 'intended-receiver' slot
if(IDLenv.intendedReceiver.length > 0)
env.clearAllIntendedReceiver();
for(int i = 0; i < IDLenv.intendedReceiver.length; i++) {
AID id = unmarshalAID(IDLenv.intendedReceiver[i]);
env.addIntendedReceiver(id);
}
// Read in the 'encrypted' slot
//if(IDLenv.encrypted.length > 0)
// env.clearAllEncrypted();