a.tile.openstreetmap.org certificate is valid
Update shared.maven.filters
extractorapp MAP_DOTS_PER_INCH - see #736
Merge branch '14.01' into 14.06