No arquivo server.proprietes tem o campo level-seed= coloque o número da seed.