Update CounterSetDefinition.java