[josm-dev] JOSM saved preferences

[Harvey Sama]

Hello,
I tried to change the value of a preference - osm-download.bounds.
using Main.pref.put(Key, value)
JOSM documentation says " *value* the value of the setting. Can be null or
"" which both removes the key-value entry."
So I first removed the value using
Main.pref.put("osm-download.bounds", null);
then reinserting a new one
Main.pref.put("osm-download.bounds",
currentSource.bounds.encodeAsString(";"));

but the value never changes.
The documentation also says when preference file is modified, it is saved
directly, so why is the value always the same?
-- 
Best Regards