001 // License: GPL. For details, see LICENSE file. 002 package org.openstreetmap.josm.gui.preferences; 003 004 import java.util.Collection; 005 006 public interface SourceProvider { 007 008 public Collection<SourceEntry> getSources(); 009 }