Mapping file for Geppetto's Puppet DSL Editor