A small tool for creating and updating CraftBukkit servers