// License: GPL. For details, see LICENSE file.
package org.openstreetmap.josm.gui.progress;

public class ProgressException extends RuntimeException {

    public ProgressException(String message, Object... args) {
        super(String.format(message, args));
    }

}