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