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 }