Removed obsolete code. map.js now uses JSON instead of XML