001// License: GPL. For details, see LICENSE file. 002package org.openstreetmap.josm.corrector; 003 004public class UserCancelException extends Exception { 005 006}