FIX 443 used as default port for 443
Merge branch 'develop' into bug/639_rush_https_default_port
Merge pull request #656 from telefonicaid/bug/639_rush_https_default_port

HTTPS default port for notifications
two PR-review-fixes
merged with develop