Editor de server.properties e ferramentas de configuração para administrar um servidor Minecraft Java Edition.