ADD: javadoc comments, modifications to shared list accesses. BUG: some messages appear to be received twice (at most) but all messages seem to be received at least once.