* Called by notifyMessage.
**/
void notifyHandler(UniqueID id, Vector history) {
Listener listener = (Listener) listenerTable.get(id);
for (Enumeration enm = history.elements(); enm.hasMoreElements();)
listener.actionPerformed(enm.nextElement());
}
/**
* Message: client PE -> home PE. I'm interested in this event.
**/