// ICounter.java//