--- /dev/null
+// UnknownResourceException.java\r
+// $Id: UnknownResourceException.java,v 1.1 2010/06/15 12:25:24 smhuang Exp $\r
+// (c) COPYRIGHT MIT and INRIA, 1996.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.tools.resources.store ;\r
+\r
+import org.w3c.tools.resources.Resource;\r
+\r
+public class UnknownResourceException extends RuntimeException {\r
+\r
+ public UnknownResourceException (Resource resource) {\r
+ super("ResourceStore mismatch for resource "+resource.getIdentifier());\r
+ }\r
+\r
+}\r