When server starts, ignores the server-port value in the server.properties and uses 25565. To reproduce: Run 18w48a server using java -jar server.jar --initSettings, set the EULA to true, and change the server-port value in default generated server.properties.  Run java -jar server.jar again it will not use the server-port value, but it does read other values from server.properties such as motd fine.