001// License: GPL. For details, see LICENSE file.
002package org.openstreetmap.josm.gui.progress;
003
004/**
005 * An exception that is thrown by the progress monitor if something went wrong
006 */
007public class ProgressException extends RuntimeException {
008
009    /**
010     * Create a new {@link ProgressException}
011     * @param message The message
012     * @param args The arguments for the message string
013     * @see String#format
014     */
015    public ProgressException(String message, Object... args) {
016        super(String.format(message, args));
017    }
018
019}