Changed Port Number

Changed the port number to the correct one. This port is also called the
"MinecraftPort", since this one is used by default in minecraft for
multiplayer maps.