HOPKINS: JANITORIAL: remove useless object pointers in ObjectsManager