¿Cómo modificar server.properties sin romper el servidor?

Detenga el servidor, modifique las claves útiles y verifique los valores regenerados al inicio.