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}