HOPKINS: Move counter to ObjectsManager, rename it to follow coding conventions