a Minecraft server's plugin.