La edición de tu archivo server.properties te permite cambiar todas las configuraciones de tu servidor de Minecraft.

Para editarlo, haz clic en el botón Administrar (Manage) para tu instancia de servidor de Minecraft:

Selecciona Administrador de archivos (File Manager):
​

Haz doble clic en el archivo server.properties y se abrirá la ventana del Editor de texto.

Allí podrás editar todos los parámetros necesarios. 😊