// License: GPL. For details, see LICENSE file.
package org.openstreetmap.josm.gui.preferences;

public interface PreferenceSettingFactory {

    PreferenceSetting createPreferenceSetting();

}