Minecraft wiki entry for Server.properties, associated text: 1 File location
1.1 Java Edition
1.2 Bedrock Edition
2 server.properties
2.1 Java Edition
2.2 Bedrock Edition
3 Minecraft server properties
3.1 Java Edition
3.2 Bedrock Edition
4 Minecraft Classic server properties
5 History