Update CounterModel.java

This compiles.