HOPKINS: set private a couple of members of AnimationManager