001    // License: GPL. For details, see LICENSE file.
002    package org.openstreetmap.josm.gui.progress;
003    
004    public class ProgressException extends RuntimeException {
005    
006        public ProgressException(String message, Object... args) {
007            super(String.format(message, args));
008        }
009    
010    }