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 }