Server Properties Editor

Upload or paste your server.properties file, edit common settings, and download the modified file. All processing happens locally in your browser.