senderReceiver.sendAsync(new Message(location, destination, tuple));
}
};
this.messageReceiptCallback = new MessageReceiptCallback() {
public Tuple receive(Message m) {
if (m.type() == Message.Type.TAINT) {
try {
handleTaintMessage(m);
} catch (ExecException e) {