Comment modifier server.properties sans casser le serveur ?

Arrêter le serveur, modifier les clés utiles et vérifier les valeurs régénérées au démarrage.