Properly handle the case that no ssl port is defined in server.xml