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}