public record Minecraft Servers

public record