[josm-dev] Does presets automatically update?

[Morten Olsen lysgaard]

I've got a preset.
Yesterday I updated it and uploaded it to my server.
I took it from version 0.0.1 to 0.0.2
On the JOSM projects preset page the new version number was shown 
minutes later, indicating that the JOSM page had read my changes.

Still, to get JOSM to download the new preset, I had to delete the 
~/.josm folder because it had old copies of my preset.

Should JOSM automatically see new versions of a preset and download 
them? If not, how does one best update a preset that many people use. 
Does each user have to manually do something?