JGRP-1992 GOOGLE_PING discovery fails if port 443 isn't used
JGRP-1992 GOOGLE_PING discovery fails if port 443 isn't used

Change GOOGLE_PING to use port 443 when creating a connection and no
port is specified in the configuration.
Sanne/JGroups,pferraro/JGroups,Sanne/JGroups,dimbleby/JGroups,TarantulaTechnology/JGroups,dimbleby/JGroups,belaban/JGroups,pruivo/JGroups,pruivo/JGroups,danberindei/JGroups,danberindei/JGroups,rhusar/JGroups,pruivo/JGroups,pferraro/JGroups,dimbleby/JGroups,TarantulaTechnology/JGroups,belaban/JGroups,TarantulaTechnology/JGroups,rhusar/JGroups,Sanne/JGroups,danberindei/JGroups,belaban/JGroups,pferraro/JGroups,rhusar/JGroups