001    // License: GPL. For details, see LICENSE file.
002    package org.openstreetmap.josm.gui.preferences.projection;
003    
004    /**
005     * Provide an alias.
006     *
007     * This is used for migration and can be removed end 2012.
008     */
009    public interface Alias {
010        String getAlias();
011    }