Changed maps to standard JSON format

Maps are stored as an array of objects instead of objects keyed by name,
so this is better.