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