Como modificar server.properties sem quebrar o servidor?

Pare o servidor, modifique as chaves úteis e verifique os valores regenerados na inicialização.