public class URLFileException extends Exception {
  public URLFileException() { super(); };
  public URLFileException(String s) { super(s); };
}