validation: formatting & code coverage
ServiceState: use internal locking object
util.Counter: use internal locking object