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