shevek/jcpp — pull request #22 by shevek (2014-11-27 04:53:12+00:00)
Title: PR for commits from mimuw-distributed-systems-group

I hope this PR ends up on JCPP, not on mimuw!