001// License: GPL. For details, see LICENSE file.
002package org.openstreetmap.josm.gui.preferences;
003
004public interface PreferenceSettingFactory {
005
006    PreferenceSetting createPreferenceSetting();
007
008}