jdk/src/share/classes/java/net/Inet6Address.java
changeset 6004 f88fd15b64b9
parent 5506 202f599c92aa
child 7668 d4a77089c587
--- a/jdk/src/share/classes/java/net/Inet6Address.java	Mon Jul 12 18:16:35 2010 +0100
+++ b/jdk/src/share/classes/java/net/Inet6Address.java	Mon Jul 12 18:18:13 2010 +0100
@@ -427,8 +427,9 @@
                     try {
                         scope_id = deriveNumericScope (scope_ifname);
                     } catch (UnknownHostException e) {
-                        // should not happen
-                        assert false;
+                        // typically should not happen, but it may be that
+                        // the machine being used for deserialization has
+                        // the same interface name but without IPv6 configured.
                     }
                 }
             } catch (SocketException e) {}