Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / www / protocol / http / Handler.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/protocol/http/Handler.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/protocol/http/Handler.java
new file mode 100644 (file)
index 0000000..5fdddfe
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/protocol/http/Handler.java
@@ -0,0 +1,22 @@
+// Handler.java\r
+// $Id: Handler.java,v 1.1 2010/06/15 12:25:16 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.www.protocol.http ;\r
+\r
+import java.net.URL;\r
+import java.net.URLConnection;\r
+import java.net.URLStreamHandler;\r
+\r
+import java.io.IOException;\r
+\r
+public class Handler extends URLStreamHandler {\r
+\r
+    protected URLConnection openConnection (URL u)\r
+       throws IOException \r
+    {\r
+       return new HttpURLConnection(u);\r
+    }\r
+\r
+}\r