work-around ipv6 bug in GWT's JUnitShell