HOPKINS: Remove two labels and their associated GOTOs from EventsManager