Small changes to classes in package statemanagment. Added some test code to methods that I created in tomlayer (currently commented). The client of the counter demo is changed to infinitely send requests.

Previous changes to the message handler were not intended. It were really meant in the execution manager. Fixed.

Within this commit, the code that implements the checkpoints is completed. However, it still needs to be tested.

Isto foi so um teste, para ver se esta tudo ok. Apenas acrescentei um metodo inutil a uma das classes q fiz