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}