jimdowling/id2210-vt13 — pull request #8 by dvaergiller (2013-05-18 13:18:58+00:00)
Title: Refactor of EchangeMsg class.

The name randomBuffer in ExchangeMsg.Request is changed to
selectedBuffer since it is not random. Class of selectedBuffer in both
ExchangeMsg.Request and ExchangeMsg.Response are changed to
List

.