https://www.machtpc.com/how-to-change-seed-on-minecraft-server/