The related Bug has the number 6991580. I wrote a small patch:
diff -ur openjdk.orig/jdk/src/share/classes/com/sun/jndi/dns/DnsClient.java
openjdk/jdk/src/share/classes/com/sun/jndi/dns/DnsClient.java
--- openjdk.orig/jdk/src/share/classes/com/sun/jndi/dns/DnsClient.java
2010-08-23 13:55:13.000000000 +0200
+++ openjdk/jdk/src/share/classes/com/sun/jndi/dns/DnsClient.java
2010-08-23 21:42:51.000000000 +0200
@@ -118,6 +118,7 @@
// Is optional port given?
int colon = servers[i].indexOf(':',
servers[i].indexOf(']') + 1);
+ colon = servers[i].lastIndexOf(':') == colon ? colon : -1;
serverPorts[i] = (colon < 0)
? DEFAULT_PORT
But I'm not sure if this is the right location to fix it.
-Guenther
