// InvalidResourceException.java
// $Id: InvalidResourceException.java,v 1.1 1997/06/10 12:14:37 bmahe Exp $
// (c) COPYRIGHT MIT and INRIA, 1996.
// Please first read the full copyright statement in file COPYRIGHT.html


package w3c.tools.resources;

/**
 * The resource store is unable to restore a resource.
 */

public class InvalidResourceException extends Exception {

  public InvalidResourceException(String msg) {
    super(msg);
  }
}

