GameWorld no longer extends GameLevel. I don't know why it ever did.
This makes a lot more sense.