https://giganodes.host/tools/properties-editor
Minecraft Server Properties Editor | server.properties Generator - GigaNodes | GigaNodes
Edit and generate your Minecraft server.properties file with our interactive tool. Configure all server settings with documentation.
minecraft serverproperties editorgenerator