Mappings for Minecraft generated by specialsource