Could I get the following change reviewed please? http://cr.openjdk.java.net/~michaelm/8048212/webrev.1/
It fixes a problem caused by the fix for 8029607. The changes for that fix should not have been applied to Windows. So, this fix ensures that the IPv4 option is used always on Windows. Michael
