jdk/test/java/net/URL/OpenStream.java
changeset 12047 320a714614e9
parent 5506 202f599c92aa
child 14342 8435a30053c1
--- a/jdk/test/java/net/URL/OpenStream.java	Tue Mar 06 10:25:45 2012 +0800
+++ b/jdk/test/java/net/URL/OpenStream.java	Tue Mar 06 20:34:38 2012 +0000
@@ -39,7 +39,7 @@
         URL u = new URL(badHttp);
         try {
             InputStream in = u.openStream();
-        } catch (UnknownHostException x) {
+        } catch (IOException x) {
             return;
         }
         throw new RuntimeException("Expected UnknownHostException to be thrown");