A world manager for MineKingdom