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