Shorter names for objects in json exporter.