001    // License: GPL. For details, see LICENSE file.
002    package org.openstreetmap.josm.gui.progress;
003    
004    public interface ProgressTaskIds {
005    
006        ProgressTaskId DOWNLOAD_GPS = new ProgressTaskId("core", "downloadGps");
007        ProgressTaskId PRECACHE_WMS = new ProgressTaskId("core", "precacheWms");
008    
009    }