Editor di server.properties e strumenti di configurazione per amministrare un server Minecraft Java Edition.