Wie ändert man server.properties, ohne den Server zu beschädigen?

Stoppen Sie den Server, ändern Sie die nützlichen Schlüssel und überprüfen Sie die neu generierten Werte beim Start.