Fixed generics. Hopefully OpenJDK builds now
Let main thread yield after a tick to allow executor threads to process
More debugging of network messages during tests
Restart Paxos instances that fail on phase 1 timeouts
Less nr of messages in MPNT
Allow message send to finish before shutting down the executor
Learn requests are now sent out to all live instances
Changed the structure of the manual, started using doctools.