This is a wsmc-for-Minecraft server