bugfix: occasionaly restart would fail from an eventCounter mismatch
Merge pull request #713 from michaelbjames/debugger-restart-bugfix

bugfix: occasionaly restart would fail from an eventCounter mismatch