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 }