Как изменить server.properties, не сломав сервер?

Остановите сервер, измените полезные ключи и проверьте восстановленные значения при запуске.