001 // License: GPL. For details, see LICENSE file. 002 package org.openstreetmap.josm.plugins; 003 004 public class PluginDownloadException extends Exception { 005 006 public PluginDownloadException() { 007 super(); 008 } 009 010 public PluginDownloadException(String arg0, Throwable arg1) { 011 super(arg0, arg1); 012 } 013 014 public PluginDownloadException(String arg0) { 015 super(arg0); 016 } 017 018 public PluginDownloadException(Throwable arg0) { 019 super(arg0); 020 } 021 }