¿Cómo se cambia la seed del mapa?

Para cambiar la seed del mapa, siga los pasos que se indican a continuación:

1. Abra el archivo server.properties.
2. Busca y sustituye la línea level-seed=SUA_SEED_AQUÍ e introduzca la seed deseada para el servidor.
3. Elimina su mapa borrando la pestaña world de su servidor (opcional).
4. Reinicia el servidor.