Provider.json should be updated when a provider changes it from its URL.
We have to manage the case in which provider.json changes and the user has already selected the provider.
The app would ideally update itself without asking for anything to the user.
(from redmine: created on 2013-05-08)