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 }