A launcher for Minecraft Servers