A mi tambien me sale ese problema, descargue y decomprimi el arxivo k hacia falta y al darle a play me sale en el nombre del servidor 12345, y si le doy a server no me sale ninguno para cambiarlo. No se si habre pasado algo por alto, espero k podais ayudarme.

Gracias