Wsun

Fix problems in Timer and Counter class