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