IDK

Some minor additions to GameController, a bit of tidying up in
HumanPlayer