workerCounter top-level property

int workerCounter
getter/setter pair

Implementation

int workerCounter = 1;