// License: GPL. For details, see LICENSE file. package org.openstreetmap.josm.data.preferences; import java.util.Collection; import org.openstreetmap.josm.Main; public class CollectionProperty extends AbstractProperty> { protected final Collection defaultValue; public CollectionProperty(String key, Collection defaultValue) { super(key); this.defaultValue = defaultValue; } public Collection get() { return Main.pref.getCollection(getKey(), getDefaultValue()); } public boolean put(Collection value) { return Main.pref.putCollection(getKey(), value); } @Override public Collection getDefaultValue() { return defaultValue; } }