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