avandeursen/jpacman-framework — pull request #5 by avandeursen (2013-02-03 14:54:56+00:00)
Title: Fixed state machine consistency.

Fixed state machine consistency upon update coming from the game.
Introduced explicit invariant for checking this.