> Strange, but it does work. For sake of being accurate, I did get
> rid of the //, and it works just the same?

Is this a question? Yes, this should work. Why did it work before? No
clue... I suspect that //server.name is passed directly to java.net.*
classes and was correctly resolved to java.net.InetAddress instance.
This might be specific to your laptop configuration.

Best regards,
Roman Rokytskyy