An Android client for the OpenStreetMap Extended API (Xapi)