public static class PtidesReceiver.Event
An Event is an aggregation consisting of a Token, a time stamp and
destination Receiver. Both the token and destination receiver are allowed
to have null values. This is particularly useful in situations where the
specification of the destination receiver may be considered redundant.