Éditeur de server.properties et outils de configuration pour administrer un serveur Minecraft Java Edition.