Final version of the assignment. Minor changes to class diagram (moved
state machine to ResourceAllocation for implementation reasons), and an
overhaul of the coordinator user interface.