Reformatted StateManager, removed weird import.