A small tool for Jenkins to build a Minecraft Mod