The Vanilla to Vanilla Server Converter for the Minecraft Launcher