Come modificare server.properties senza rompere il server?

Ferma il server, modifica le chiavi utili e controlla i valori rigenerati all'avvio.